model-checker : remove unnecessary include in lex file

diff --git a/examples/msg/mc/parserPromela.lex b/examples/msg/mc/parserPromela.lex
index 187d1ba73ebbae862f5c35c1f5b3fb8b4a36c408..f4c913280e6c11c02cbe9c262ad19a8b9ef8ca7a 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;