From dbabd0e9b62cb446a1f5b22049c530d604fc7b9f Mon Sep 17 00:00:00 2001 From: Jean Privat Date: Fri, 27 Oct 2017 09:10:27 -0400 Subject: [PATCH] nitcc: a empty automaton has at least a start state, even if non-terminal Signed-off-by: Jean Privat --- contrib/nitcc/src/autom.nit | 1 + 1 file changed, 1 insertion(+) diff --git a/contrib/nitcc/src/autom.nit b/contrib/nitcc/src/autom.nit index 3248e17..2a97bd3 100644 --- a/contrib/nitcc/src/autom.nit +++ b/contrib/nitcc/src/autom.nit @@ -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 -- 1.7.9.5