X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=cyclegraph.h;h=45e49fb7bec3950656054e02f92b06aa5cf3ae65;hb=bd6db524d36605b8eae0159f943b7e9e9361d7a5;hp=5d9c976b5a1c21ae22459ec9380ce3164f529ddd;hpb=76bf58915289cb923cc95e237b64151bf799167c;p=model-checker.git

diff --git a/cyclegraph.h b/cyclegraph.h
index 5d9c976..45e49fb 100644
--- a/cyclegraph.h
+++ b/cyclegraph.h
@@ -52,8 +52,6 @@ class CycleGraph {
 
 	bool checkReachable(const CycleNode *from, const CycleNode *to) const;
 
-	bool edgeCreatesCycle(const CycleNode *from, const CycleNode *to) const;
-
 	/** @brief A flag: true if this graph contains cycles */
 	bool hasCycles;
 	bool oldCycles;