build warning

NikolajBjorner · NikolajBjorner · commit fd911a556354 · 2020-04-29T12:07:02.000-07:00
diff --git 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
 
     // ------------------------------------
     //

Original file line number	Diff line number	Diff line change
`@@ -588,10 +588,12 @@ namespace {`
`588`	`588`	`}`
`589`	`589`	`};`
`590`	`590`
	`591`	`+#ifdef _TRACE`
`591`	`592`	`std::ostream & operator<<(std::ostream & out, code_tree const & tree) {`
`592`	`593`	`tree.display(out);`
`593`	`594`	`return out;`
`594`	`595`	`}`
	`596`	`+#endif`
`595`	`597`
`596`	`598`	`// ------------------------------------`
`597`	`599`	`//`