Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Generated file has changed.
[simgrid.git] / src / xbt / automaton / parserPromela.tab.cacc
index b09c634..0a13e38 100644 (file)
@@ -147,7 +147,7 @@ typedef union YYSTYPE
   double real;
   int integer;
   char* string;
-  xbt_exp_label_t label;
+  xbt_automaton_exp_label_t label;