Don't reencode expressions that are already encoded
[satune.git] / src / Collections / corestructs.cc
index ba9bf91c54544e3985bf7dd2f7eee6508cf4ce8b..28d2faf7795f188555af1acd94d7eee43ed674c6 100644 (file)
@@ -2,9 +2,9 @@
 #include "corestructs.h"
 #include "boolean.h"
 
-void BooleanEdge::print(){
+void BooleanEdge::print() {
        if (isNegated())
                model_print("!");
-       b->print();
+       getBoolean()->print();
        model_print("\n");
-}
\ No newline at end of file
+}