From d106cc1899b1f3d82cc35a60d77b2c87f8355fdd Mon Sep 17 00:00:00 2001
From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Thu, 2 Aug 2018 12:59:52 -0700
Subject: [PATCH] Bug fix for printing ...
---
src/Collections/corestructs.cc | 2 +-
src/csolver.cc | 5 +----
2 files changed, 2 insertions(+), 5 deletions(-)
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) {
--
2.34.1