Remove print line
authorbdemsky <bdemsky@uci.edu>
Sun, 22 Oct 2017 07:42:10 +0000 (00:42 -0700)
committerbdemsky <bdemsky@uci.edu>
Sun, 22 Oct 2017 07:42:10 +0000 (00:42 -0700)
src/ASTTransform/decomposeordertransform.cc

index 1157ba0..f629a76 100644 (file)
@@ -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();