model-checker : remove unnecessary include in lex file

diff --git a/examples/msg/mc/parserPromela.lex b/examples/msg/mc/parserPromela.lex
index 187d1ba..f4c9132 100644 (file)
--- a/examples/msg/mc/parserPromela.lex
+++ b/examples/msg/mc/parserPromela.lex
@@ -4,7 +4,6 @@
 
 
 #include <stdio.h>
-#include "automaton.h"
 #include "y.tab.h"
   
   extern YYSTYPE yylval;