X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/f28d984fb76ea5e45562168a2e67b60a8b1d0fb2..a94c908b9acf9a86f175c7f1c29b2c52e72eb2d2:/src/xbt/automaton/y.tab.h

diff --git a/src/xbt/automaton/y.tab.h b/src/xbt/automaton/y.tab.h
index ad611d52f3..fdf2faffa2 100644
--- a/src/xbt/automaton/y.tab.h
+++ b/src/xbt/automaton/y.tab.h
@@ -89,7 +89,7 @@ typedef union YYSTYPE
 {
 
 /* Line 2068 of yacc.c  */
-#line 13 "parserPromela.yacc"
+#line 11 "parserPromela.yacc"
 
   double real;
   int integer;