X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2Fcsolver.cc;h=8af2c71e4c5b61ec39ebcc853f107bb4a7d3c679;hb=54ba3c780c1bc435cbb6b202f2f0ee222df0a120;hp=71205f68aab557baf933689510435ee4f312d328;hpb=44ac39afe074506f18b8d2c29430cc7d88ace944;p=satune.git

diff --git a/src/csolver.cc b/src/csolver.cc
index 71205f6..8af2c71 100644
--- a/src/csolver.cc
+++ b/src/csolver.cc
@@ -412,12 +412,9 @@ BooleanEdge CSolver::orderConstraint(Order *order, uint64_t first, uint64_t seco
 }
 
 void CSolver::addConstraint(BooleanEdge constraint) {
-#ifdef TRACE_DEBUG
-        model_println("****New Constraint******");
-#endif
-        if(constraint.isNegated())
-                model_print("!");
-        constraint.getBoolean()->print();
+	if(constraint.isNegated())
+		model_print("!");
+	constraint.getBoolean()->print();
 	if (isTrue(constraint))
 		return;
 	else if (isFalse(constraint)) {