Remove print line

diff --git a/src/ASTTransform/decomposeordertransform.cc b/src/ASTTransform/decomposeordertransform.cc
index 1157ba096b0faa54d4c05fb90e22f509044865c3..f629a76b5815a3b8b071e2fcd7162c46295b6e17 100644 (file)
--- a/src/ASTTransform/decomposeordertransform.cc
+++ b/src/ASTTransform/decomposeordertransform.cc
@@ -191,7 +191,6 @@ bool DecomposeOrderTransform::isMustBeTrueNode(OrderNode *node) {
 
 void DecomposeOrderTransform::bypassMustBeTrueNode(OrderGraph *graph, OrderNode *node, DecomposeOrderResolver *dor) {
        node->removed = true;
-       model_print("Removing %llu\n", node->getID());
        SetIteratorOrderEdge *iterin = node->inEdges.iterator();
        while (iterin->hasNext()) {
                OrderEdge *inEdge = iterin->next();