From d689d5d6b4e36b0dcde9eb5dfbc323c6e4564d40 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky@uci.edu>
Date: Thu, 2 Aug 2018 12:55:10 -0700
Subject: [PATCH] fix print bug

---
 src/Collections/corestructs.cc | 4 ++--
 src/Collections/corestructs.h  | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/Collections/corestructs.cc b/src/Collections/corestructs.cc
index ba9bf91..9d9e36b 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/Collections/corestructs.h b/src/Collections/corestructs.h
index 8f34078..90da6c9 100644
--- a/src/Collections/corestructs.h
+++ b/src/Collections/corestructs.h
@@ -23,7 +23,7 @@ public:
 	operator bool() {
 		return getBoolean() != NULL;
 	}
-        void print();
+	void print();
 private:
 	Boolean *b;
 };
-- 
2.34.1