Merge branch 'mc++'

[simgrid.git] / src / xbt / automaton / parserPromela.tab.hacc

diff --git a/src/xbt/automaton/parserPromela.tab.hacc b/src/xbt/automaton/parserPromela.tab.hacc
index 676dd59..27ae7bf 100644 (file)
--- a/src/xbt/automaton/parserPromela.tab.hacc
+++ b/src/xbt/automaton/parserPromela.tab.hacc
@@ -67,7 +67,7 @@ typedef union YYSTYPE
 {
 
 /* Line 2068 of yacc.c  */
-#line 10 "parserPromela.yacc"
+#line 16 "parserPromela.yacc"
 
   double real;
   int integer;