fix debug build

Z3Prover · Jan 31, 2020 · d2fc88d · d2fc88d
1 parent d79692b
commit d2fc88d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/smt/mam.cpp b/src/smt/mam.cpp
@@ -1805,7 +1805,7 @@ namespace {
         }
     };
 
-#ifdef Z3DEBUG
+#if 0
     bool check_lbls(enode * n) {
         approx_set  lbls;
         approx_set plbls;
@@ -4027,7 +4027,7 @@ namespace smt {
 }
 
 #ifdef Z3DEBUG
-void pp(smt::code_tree * c) {
+void pp(code_tree * c) {
     c->display(std::cout);
 }
 #endif