From bf8813677ae3b24992721ed479936fded2acbc21 Mon Sep 17 00:00:00 2001
From: Robin Jadoul <robin.jadoul@gmail.com>
Date: Thu, 26 May 2016 15:56:06 +0200
Subject: [PATCH] Fix minimisation bug with accepting tokens

---
 src/automata.cpp | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/automata.cpp b/src/automata.cpp
index 994b152..3f449d8 100644
--- a/src/automata.cpp
+++ b/src/automata.cpp
@@ -274,9 +274,9 @@ namespace lxs {
                 }
                 
                 if (d.accepting.count(a) > 0) {
-                    min.accepting.insert(a);
-                    min.priority[a] = prior;
-                    min.acceptingToken[a] = acTok;
+                    min.accepting.insert(cur);
+                    min.priority[cur] = prior;
+                    min.acceptingToken[cur] = acTok;
                 }
 
                 if (a != deadState) {