From fd911a5563547e416385fb21347c4bb7d87ae186 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 29 Apr 2020 12:06:43 -0700
Subject: [PATCH] build warning

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

diff --git a/src/smt/mam.cpp b/src/smt/mam.cpp
index 93a189edf..d866bc924 100644
--- a/src/smt/mam.cpp
+++ b/src/smt/mam.cpp
@@ -588,10 +588,12 @@ namespace {
         }
     };
 
+#ifdef _TRACE
     std::ostream & operator<<(std::ostream & out, code_tree const & tree) {
         tree.display(out);
         return out;
     }
+#endif
 
     // ------------------------------------
     //