Edits to merge

[satune.git] / src / AST / rewriter.cc

diff --git a/src/AST/rewriter.cc b/src/AST/rewriter.cc
index c508185f99928cd2eff5d6e67c332510080e15b3..b6908e1f1dc1b7435b21fa637345492ad4f98971 100644 (file)
--- a/src/AST/rewriter.cc
+++ b/src/AST/rewriter.cc
@@ -6,9 +6,6 @@
 void CSolver::replaceBooleanWithTrue(BooleanEdge bexpr) {
        if (constraints.contains(bexpr.negate())) {
                constraints.remove(bexpr.negate());
-#ifdef TRACE_DEBUG
-                model_println("replaceBooleanWithTrue");
-#endif
                setUnSAT();
        }       
        if (constraints.contains(bexpr)) {