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

diff --git a/src/xbt/automaton/parserPromela.tab.hacc b/src/xbt/automaton/parserPromela.tab.hacc
index 676dd599a4..27ae7bf0cc 100644
--- 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;