%{
- //#include "../../../include/xbt/automatonparse_promela.h"
- //#include "../../../include/xbt/automaton.h"
-#include "automaton_parse.yy.c"
+#include "automaton_lexer.yy.c"
#include <xbt/automaton.h>
-#include <xbt/automatonparse_promela.h>
void yyerror(const char *s);