cyclegraph: remove redundant code

[model-checker.git] / cyclegraph.h

diff --git a/cyclegraph.h b/cyclegraph.h
index 5d9c976b5a1c21ae22459ec9380ce3164f529ddd..45e49fb7bec3950656054e02f92b06aa5cf3ae65 100644 (file)
--- 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;