From d2fc88d675d1f75f3c1e608b0db10009a93021c0 Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nlopes@microsoft.com>
Date: Fri, 31 Jan 2020 17:30:13 +0000
Subject: [PATCH] fix debug build

---
 src/smt/mam.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/smt/mam.cpp b/src/smt/mam.cpp
index a501e89f7..9ea6abcfb 100644
--- 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