From 9392afc74c20aedbf09f2bb61a26cd61f454a675 Mon Sep 17 00:00:00 2001
From: Robin Jadoul <robin.jadoul@gmail.com>
Date: Sun, 29 May 2016 14:22:32 +0200
Subject: [PATCH] Fix minimization problems if the DFA only has 1 state

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

diff --git a/src/automata.cpp b/src/automata.cpp
index fd1d6d4..86fadaf 100644
--- a/src/automata.cpp
+++ b/src/automata.cpp
@@ -246,7 +246,11 @@ namespace lxs {
                 if (a == d.numStates)
                     a = deadState;
 
-                if (reachables.count(a) == 0 || done.count(a) > 0) continue;
+                if (reachables.count(a) == 0 || done.count(a) > 0) {
+                    if (a == deadState)
+                        break;
+                    continue;
+                }
 
                 newStates[a] = cur;
                 if (a == deadState)