cyclegraph: don't delete promise nodes

[model-checker.git] / cyclegraph.cc

diff --git a/cyclegraph.cc b/cyclegraph.cc
index 69d6660bccee0768d2f8629d8ca787e6b3912d22..e0b221514f9bd88b0785839b44e2436921f9f4b8 100644 (file)
--- 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;
 }