X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FASTTransform%2Fdecomposeordertransform.cc;h=f629a76b5815a3b8b071e2fcd7162c46295b6e17;hp=1157ba096b0faa54d4c05fb90e22f509044865c3;hb=85ade7953746f1f5e3df9c4e5799e216e44e1745;hpb=52bb7ec21876cab449bbe9f14e0d28f623d46af5

diff --git a/src/ASTTransform/decomposeordertransform.cc b/src/ASTTransform/decomposeordertransform.cc
index 1157ba0..f629a76 100644
--- 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();