Bug fix for printing ...

[satune.git] / src / csolver.cc

diff --git a/src/csolver.cc b/src/csolver.cc
index 9dff5570277b7ecd3839aa4e67e101bb74aae22e..3eabf2e8648de534d07330beae7a0c9d7b6a3554 100644 (file)
--- a/src/csolver.cc
+++ b/src/csolver.cc
@@ -650,10 +650,7 @@ void CSolver::printConstraints() {
 }
 
 void CSolver::printConstraint(BooleanEdge b) {
-       if (b.isNegated())
-               model_print("!");
-       b->print();
-       model_print("\n");
+       b.print();
 }
 
 uint64_t CSolver::getElementValue(Element *element) {