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

diff --git a/src/xbt/automaton/parserPromela.tab.hacc b/src/xbt/automaton/parserPromela.tab.hacc
index 587506e790..bfab886645 100644
--- a/src/xbt/automaton/parserPromela.tab.hacc
+++ b/src/xbt/automaton/parserPromela.tab.hacc
@@ -73,7 +73,7 @@ extern int xbt_automaton_parser_debug;
 typedef union YYSTYPE YYSTYPE;
 union YYSTYPE
 {
-#line 16 "parserPromela.yacc" /* yacc.c:1909  */
+#line 20 "parserPromela.yacc" /* yacc.c:1909  */
 
   double real;
   int integer;