fix print bug

diff --git a/src/Collections/corestructs.cc b/src/Collections/corestructs.cc
index ba9bf91c54544e3985bf7dd2f7eee6508cf4ce8b..9d9e36b19a0070cba0f981b61b834ac705a81489 100644 (file)
--- a/src/Collections/corestructs.cc
+++ b/src/Collections/corestructs.cc
@@ -5,6 +5,6 @@
 void BooleanEdge::print(){
        if (isNegated())
                model_print("!");
 void BooleanEdge::print(){
        if (isNegated())
                model_print("!");

-       b->print();
+       getBoolean()->print();

        model_print("\n");
        model_print("\n");

-}
\ No newline at end of file
+}

diff --git a/src/Collections/corestructs.h b/src/Collections/corestructs.h
index 8f34078056b7f30a751d4e7200f447c0608b8431..90da6c99b9a91596ecaf4acd88c0af53d442f423 100644 (file)
--- a/src/Collections/corestructs.h
+++ b/src/Collections/corestructs.h
@@ -23,7 +23,7 @@ public:
        operator bool() {
                return getBoolean() != NULL;
        }
        operator bool() {
                return getBoolean() != NULL;
        }

-        void print();
+       void print();

 private:
        Boolean *b;
 };
 private:
        Boolean *b;
 };