Fixing missing changes

[satune.git] / src / AST / predicate.cc

diff --git a/src/AST/predicate.cc b/src/AST/predicate.cc
index 659a3e336a97d58b2d6c5f454bcb7a2e320944fd..f320a4dd2b8e7162538f67d2be948f29f7404e4e 100644 (file)
--- a/src/AST/predicate.cc
+++ b/src/AST/predicate.cc
@@ -95,3 +95,9 @@ void PredicateOperator::serialize(Serializer* serializer){
        }
 }
 
+void PredicateOperator::print(){       
+       model_println("{PredicateOperator: %s }", op ==SATC_EQUALS? "EQUAL": "NOT-EQUAL");
+}
+
+
+