X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=cyclegraph.h;h=bb2ab2d87b4370065ff64fa9dfcac45e86f2ce39;hb=09c3eb5539455e82dcb357fbce82bf5974c3a37c;hp=e96e1216c0907a0af9d7e166441f960c5b782188;hpb=f912ca726174373393b4c293ae2e28e404beb76c;p=model-checker.git

diff --git a/cyclegraph.h b/cyclegraph.h
index e96e121..bb2ab2d 100644
--- a/cyclegraph.h
+++ b/cyclegraph.h
@@ -36,8 +36,8 @@ class CycleGraph {
 	bool checkForCycles() const;
 	bool checkPromise(const ModelAction *from, Promise *p) const;
 
-	template <typename T>
-	bool checkReachable(const ModelAction *from, const T *to) const;
+	template <typename T, typename U>
+	bool checkReachable(const T *from, const U *to) const;
 
 	void startChanges();
 	void commitChanges();