Edits to merge

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

diff --git a/src/AST/predicate.cc b/src/AST/predicate.cc
index f320a4dd2b8e7162538f67d2be948f29f7404e4e..1e0bb21911cd23d9e491949b72440d2f7580f0f5 100644 (file)
--- a/src/AST/predicate.cc
+++ b/src/AST/predicate.cc
@@ -67,9 +67,9 @@ void PredicateTable::serialize(Serializer* serializer){
 }
 
 void PredicateTable::print(){  
-       model_println("{PredicateTable:");
-        table->print();
-        model_println("}\n");
+       model_print("{PredicateTable:\n");
+       table->print();
+       model_print("}\n");
 }
 
 void PredicateOperator::serialize(Serializer* serializer){     
@@ -96,7 +96,7 @@ void PredicateOperator::serialize(Serializer* serializer){
 }
 
 void PredicateOperator::print(){       
-       model_println("{PredicateOperator: %s }", op ==SATC_EQUALS? "EQUAL": "NOT-EQUAL");
+       model_print("{PredicateOperator: %s }\n", op ==SATC_EQUALS? "EQUAL": "NOT-EQUAL");
 }