X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=cyclegraph.h;h=716e811d64ea6ea4153572d6d9c485762b0988ef;hp=a7e2a115929066e03b5f0a018509f78e145d7c1f;hb=3d0d4dd1b66d946b225666769f4121c4867259be;hpb=805cb1992146bc8f5d69e3e98a4b2f941a407001

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