From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Thu, 2 Aug 2018 19:59:52 +0000 (-0700)
Subject: Bug fix for printing ...
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=d106cc1899b1f3d82cc35a60d77b2c87f8355fdd;p=satune.git

Bug fix for printing ...
---

diff --git a/src/Collections/corestructs.cc b/src/Collections/corestructs.cc
index ba9bf91..8d8c86d 100644
--- a/src/Collections/corestructs.cc
+++ b/src/Collections/corestructs.cc
@@ -5,6 +5,6 @@
 void BooleanEdge::print(){
 	if (isNegated())
 		model_print("!");
-	b->print();
+	getBoolean()->print();
 	model_print("\n");
 }
\ No newline at end of file
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) {