Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Generated file has changed.
authorArnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Tue, 19 Mar 2013 17:59:16 +0000 (18:59 +0100)
committerArnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Tue, 19 Mar 2013 21:03:06 +0000 (22:03 +0100)
src/xbt/automaton/parserPromela.tab.cacc

index b09c634..0a13e38 100644 (file)
@@ -147,7 +147,7 @@ typedef union YYSTYPE
   double real;
   int integer;
   char* string;
   double real;
   int integer;
   char* string;
-  xbt_exp_label_t label;
+  xbt_automaton_exp_label_t label;