model-checker : new example for liveness properties

[simgrid.git] / examples / msg / mc / y.tab.h

diff --git a/examples/msg/mc/y.tab.h b/examples/msg/mc/y.tab.h
index 8ea5344..22bb813 100644 (file)
--- a/examples/msg/mc/y.tab.h
+++ b/examples/msg/mc/y.tab.h
@@ -91,7 +91,7 @@ typedef union YYSTYPE
 {
 
 /* Line 1676 of yacc.c  */
-#line 9 "parserPromela.yacc"
+#line 11 "parserPromela.yacc"
 
   double real;
   int integer;