From: bdemsky <bdemsky@uci.edu>
Date: Sun, 22 Oct 2017 07:42:10 +0000 (-0700)
Subject: Remove print line
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=85ade7953746f1f5e3df9c4e5799e216e44e1745;p=satune.git

Remove print line
---

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();