fix print bug

[satune.git] / src / Collections / corestructs.cc

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("!");
-       b->print();
+       getBoolean()->print();
        model_print("\n");
-}
\ No newline at end of file
+}