X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=cyclegraph.h;h=716e811d64ea6ea4153572d6d9c485762b0988ef;hb=6b49a0fc2e4919c2cdb233907219a55017eb265b;hp=a7e2a115929066e03b5f0a018509f78e145d7c1f;hpb=74abaac236d8890b33aec5af4961ac9f14b7841c;p=c11tester.git

diff --git a/cyclegraph.h b/cyclegraph.h
index a7e2a115..716e811d 100644
--- a/cyclegraph.h
+++ b/cyclegraph.h
@@ -70,6 +70,7 @@ public:
 	void clearRMW() { hasRMW = NULL; }
 	ModelAction * getAction() const { return action; }
 	void removeInEdge(CycleNode *src);
+	void removeEdge(CycleNode *dst);
 	~CycleNode();
 
 	SNAPSHOTALLOC