%{
- //#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);
double real;
int integer;
char* string;
- xbt_exp_label_t label;
+ xbt_automaton_exp_label_t label;
}
%token NEVER