X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=cyclegraph.cc;h=e0b221514f9bd88b0785839b44e2436921f9f4b8;hb=a482ef2b49ff9bcae7a6898585409181bce3f02a;hp=69d6660bccee0768d2f8629d8ca787e6b3912d22;hpb=24d17393dc45f60f6f6660159f2f329d1cc5d15a;p=model-checker.git

diff --git a/cyclegraph.cc b/cyclegraph.cc
index 69d6660..e0b2215 100644
--- a/cyclegraph.cc
+++ b/cyclegraph.cc
@@ -198,7 +198,7 @@ bool CycleGraph::mergeNodes(CycleNode *w_node, CycleNode *p_node,
 	}
 
 	erasePromiseNode(promise);
-	delete p_node;
+	/* Not deleting p_node, to maintain consistency if mergeNodes() fails */
 
 	return !hasCycles;
 }