Bug fix for removing must edges...They also need to update constraints

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

diff --git a/src/AST/set.cc b/src/AST/set.cc
index ac4d088b338554ca2326e61ca5c994f81471b2de..7fa1212197030e1761c7bfefd2bb00f59a7ad50e 100644 (file)
--- a/src/AST/set.cc
+++ b/src/AST/set.cc
@@ -146,7 +146,7 @@ void Set::serialize(Serializer *serializer) {
 void Set::print() {
        model_print("{Set:");
        if (isRange) {
-               model_print("Range: low=%lu, high=%lu}\n\n", low, high);
+               model_print("Range: low=%lu, high=%lu}", low, high);
        } else {
                uint size = members->getSize();
                model_print("Members: ");
@@ -154,6 +154,6 @@ void Set::print() {
                        uint64_t mem = members->get(i);
                        model_print("%lu, ", mem);
                }
-               model_print("}\n");
+               model_print("}");
        }
 }