update test

Z3Prover · Aug 2, 2024 · defd003 · defd003
1 parent 1dd5d3a
commit defd003
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/test/permutation.cpp b/src/test/permutation.cpp
@@ -2,6 +2,7 @@
 #include <sstream>
 #include "util/permutation.h"
 #include "util/util.h"
+#include "util/debug.h"
 
 void swap(unsigned m1, unsigned m2) noexcept { std::swap(m1, m2); }