documentation

[c11tester.git] / cyclegraph.h

diff --git a/cyclegraph.h b/cyclegraph.h
index df9d46c17d108c51af33862cb1777a6b150ab515..a748c7791110f5c37837ff72131bc8901b98e4e5 100644 (file)
--- a/cyclegraph.h
+++ b/cyclegraph.h
@@ -19,7 +19,6 @@ class CycleGraph {
        CycleNode * getNode(ModelAction *);
        HashTable<ModelAction *, CycleNode *, uintptr_t, 4> actionToNode;
        bool checkReachable(CycleNode *from, CycleNode *to);
-
        bool hasCycles;
 
 };