From: bdemsky <bdemsky@uci.edu>
Date: Thu, 2 Aug 2018 23:29:59 +0000 (-0700)
Subject: Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler into... 
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=commitdiff_plain;h=47e824884895ac005fa3cc172e7093229300a71b;hp=ca8d8a586f64af922025ab69de7b853b5f331a49

Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler into hamed
---

diff --git a/src/csolver.cc b/src/csolver.cc
index 9dff557..3eabf2e 100644
--- 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) {