fix print bug
authorbdemsky <bdemsky@uci.edu>
Thu, 2 Aug 2018 19:55:10 +0000 (12:55 -0700)
committerbdemsky <bdemsky@uci.edu>
Thu, 2 Aug 2018 19:55:10 +0000 (12:55 -0700)
src/Collections/corestructs.cc
src/Collections/corestructs.h

index ba9bf91..9d9e36b 100644 (file)
@@ -5,6 +5,6 @@
 void BooleanEdge::print(){
        if (isNegated())
                model_print("!");
-       b->print();
+       getBoolean()->print();
        model_print("\n");
-}
\ No newline at end of file
+}
index 8f34078..90da6c9 100644 (file)
@@ -23,7 +23,7 @@ public:
        operator bool() {
                return getBoolean() != NULL;
        }
-        void print();
+       void print();
 private:
        Boolean *b;
 };