From 6f6e2744df560b7c5dda5b30eccf7c8b8a7636e0 Mon Sep 17 00:00:00 2001
From: "Hong, Yang A" <yang.a.hong@intel.com>
Date: Mon, 6 Jan 2020 15:32:37 +0000
Subject: [PATCH] Cyclic redundancy: change DFS termination condition into
 successors of cyclic vertex

---
 src/nfagraph/ng_cyclic_redundancy.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/nfagraph/ng_cyclic_redundancy.cpp b/src/nfagraph/ng_cyclic_redundancy.cpp
index c8d34687..0b24bf07 100644
--- 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;
             }