X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/7a8cd62135619ad52e05ae1c929ef07e166e4260..f2df13795e01302813a6aef10825ec7e922ce530:/src/xbt/automaton/parserPromela.tab.cacc

diff --git a/src/xbt/automaton/parserPromela.tab.cacc b/src/xbt/automaton/parserPromela.tab.cacc
index b09c6349a0..a0cf8ed065 100644
--- a/src/xbt/automaton/parserPromela.tab.cacc
+++ b/src/xbt/automaton/parserPromela.tab.cacc
@@ -74,7 +74,7 @@
 /* Copy the first part of user declarations.  */
 
 /* Line 268 of yacc.c  */
-#line 1 "parserPromela.yacc"
+#line 7 "parserPromela.yacc"
 
 
 #include "automaton_lexer.yy.c"
@@ -142,12 +142,12 @@ typedef union YYSTYPE
 {
 
 /* Line 293 of yacc.c  */
-#line 10 "parserPromela.yacc"
+#line 16 "parserPromela.yacc"
 
   double real;
   int integer;
   char* string;
-  xbt_exp_label_t label;
+  xbt_automaton_exp_label_t label;
 
 
 
@@ -456,8 +456,8 @@ static const yytype_int8 yyrhs[] =
 /* YYRLINE[YYN] -- source line where rule number YYN was defined.  */
 static const yytype_uint8 yyrline[] =
 {
-       0,    47,    47,    50,    51,    51,    54,    55,    58,    59,
-      60,    61,    62,    63
+       0,    53,    53,    56,    57,    57,    60,    61,    64,    65,
+      66,    67,    68,    69
 };
 #endif
 
@@ -1401,56 +1401,56 @@ yyreduce:
         case 4:
 
 /* Line 1806 of yacc.c  */
-#line 51 "parserPromela.yacc"
+#line 57 "parserPromela.yacc"
     { new_state((yyvsp[(1) - (2)].string), 1);}
     break;
 
   case 7:
 
 /* Line 1806 of yacc.c  */
-#line 55 "parserPromela.yacc"
+#line 61 "parserPromela.yacc"
     { new_transition((yyvsp[(5) - (6)].string), (yyvsp[(2) - (6)].label));}
     break;
 
   case 8:
 
 /* Line 1806 of yacc.c  */
-#line 58 "parserPromela.yacc"
+#line 64 "parserPromela.yacc"
     { (yyval.label) = (yyvsp[(2) - (3)].label); }
     break;
 
   case 9:
 
 /* Line 1806 of yacc.c  */
-#line 59 "parserPromela.yacc"
+#line 65 "parserPromela.yacc"
     { (yyval.label) = new_label(0, (yyvsp[(1) - (3)].label), (yyvsp[(3) - (3)].label)); }
     break;
 
   case 10:
 
 /* Line 1806 of yacc.c  */
-#line 60 "parserPromela.yacc"
+#line 66 "parserPromela.yacc"
     { (yyval.label) = new_label(1, (yyvsp[(1) - (3)].label), (yyvsp[(3) - (3)].label)); }
     break;
 
   case 11:
 
 /* Line 1806 of yacc.c  */
-#line 61 "parserPromela.yacc"
+#line 67 "parserPromela.yacc"
     { (yyval.label) = new_label(2, (yyvsp[(2) - (2)].label)); }
     break;
 
   case 12:
 
 /* Line 1806 of yacc.c  */
-#line 62 "parserPromela.yacc"
+#line 68 "parserPromela.yacc"
     { (yyval.label) = new_label(4); }
     break;
 
   case 13:
 
 /* Line 1806 of yacc.c  */
-#line 63 "parserPromela.yacc"
+#line 69 "parserPromela.yacc"
     { (yyval.label) = new_label(3, (yyvsp[(1) - (1)].string)); }
     break;
 
@@ -1688,7 +1688,7 @@ yyreturn:
 
 
 /* Line 2067 of yacc.c  */
-#line 66 "parserPromela.yacc"
+#line 72 "parserPromela.yacc"