From f3ccbf19b88be78bced19e0d3d8c74edd90d3bd8 Mon Sep 17 00:00:00 2001
From: Justin Viiret <justin.viiret@intel.com>
Date: Wed, 27 Jul 2016 10:23:42 +1000
Subject: [PATCH] ng_violet: fix non-determinism in deanchorIfNeeded

---
 src/nfagraph/ng_violet.cpp | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/nfagraph/ng_violet.cpp b/src/nfagraph/ng_violet.cpp
index 8843196f..27f84e99 100644
--- a/src/nfagraph/ng_violet.cpp
+++ b/src/nfagraph/ng_violet.cpp
@@ -1333,7 +1333,10 @@ bool deanchorIfNeeded(NGHolder &g) {
 
         if (succ_v == succ_g) {
             DEBUG_PRINTF("found ^.*\n");
-            for (auto succ : succ_g) {
+            for (auto succ : adjacent_vertices_range(g.start, g)) {
+                if (succ == g.startDs) {
+                    continue;
+                }
                 add_edge(g.startDs, succ, g);
             }
             clear_vertex(v, g);