nitcc: a empty automaton has at least a start state, even if non-terminal
authorJean Privat <jean@pryen.org>
Fri, 27 Oct 2017 13:10:27 +0000 (09:10 -0400)
committerJean Privat <jean@pryen.org>
Fri, 27 Oct 2017 13:10:27 +0000 (09:10 -0400)
Signed-off-by: Jean Privat <jean@pryen.org>

contrib/nitcc/src/autom.nit

index 3248e17..2a97bd3 100644 (file)
@@ -367,6 +367,7 @@ class Automaton
                # Keep only the good stuff
                states.clear
                states.add_all(goods)
+               states.add(start)
        end
 
        # Generate a minimal DFA