Cyclic redundancy: change DFS termination condition into successors of cyclic vertex

diff --git a/src/nfagraph/ng_cyclic_redundancy.cpp b/src/nfagraph/ng_cyclic_redundancy.cpp
index c8d34687e00c9b45eed09f1b07c1bd28ad5cb8df..0b24bf07a82e5a3033f8b36dba64e621ac132732 100644 (file)
--- a/src/nfagraph/ng_cyclic_redundancy.cpp
+++ b/src/nfagraph/ng_cyclic_redundancy.cpp
@@ -205,7 +205,7 @@ bool removeCyclicPathRedundancy(Graph &g, typename Graph::vertex_descriptor v,
 
             DEBUG_PRINTF("  - checking w %zu\n", g[w].index);
 
-            if (!searchForward(g, reach, colours, s, w)) {
+            if (!searchForward(g, reach, colours, succ_v, w)) {
                 continue;
             }