X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=cyclegraph.h;fp=cyclegraph.h;h=a9e46120f1f3efac17efacb9a608abca451868d4;hp=fcb1d30960843413814b07796c015866100cabf7;hb=5d0c8be1e7d652a85d36827074f4c72661e7457f;hpb=d7e26717ec76b225475afe69a463b6e21e026f26

diff --git a/cyclegraph.h b/cyclegraph.h
index fcb1d30..a9e4612 100644
--- a/cyclegraph.h
+++ b/cyclegraph.h
@@ -30,8 +30,10 @@ class CycleGraph {
 	template <typename T, typename U>
 	bool addEdge(const T from, const U to);
 
+	template <typename T>
+	void addRMWEdge(const T *from, const ModelAction *rmw);
+
 	bool checkForCycles() const;
-	void addRMWEdge(const ModelAction *from, const ModelAction *rmw);
 	bool checkPromise(const ModelAction *from, Promise *p) const;
 
 	template <typename T>