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

diff --git a/src/xbt/automaton/parserPromela.tab.hacc b/src/xbt/automaton/parserPromela.tab.hacc
index 483349a029..27ae7bf0cc 100644
--- a/src/xbt/automaton/parserPromela.tab.hacc
+++ b/src/xbt/automaton/parserPromela.tab.hacc
@@ -1,8 +1,8 @@
-/* A Bison parser, made by GNU Bison 2.7.12-4996.  */
+/* A Bison parser, made by GNU Bison 2.5.  */
 
 /* Bison interface for Yacc-like parsers in C
    
-      Copyright (C) 1984, 1989-1990, 2000-2013 Free Software Foundation, Inc.
+      Copyright (C) 1984, 1989-1990, 2000-2011 Free Software Foundation, Inc.
    
    This program is free software: you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
@@ -30,15 +30,6 @@
    This special exception was added by the Free Software Foundation in
    version 2.2 of Bison.  */
 
-#ifndef YY_XBT_AUTOMATON_PARSER_PARSERPROMELA_TAB_HACC_INCLUDED
-# define YY_XBT_AUTOMATON_PARSER_PARSERPROMELA_TAB_HACC_INCLUDED
-/* Enabling traces.  */
-#ifndef YYDEBUG
-# define YYDEBUG 0
-#endif
-#if YYDEBUG
-extern int xbt_automaton_parser_debug;
-#endif
 
 /* Tokens.  */
 #ifndef YYTOKENTYPE
@@ -70,11 +61,13 @@ extern int xbt_automaton_parser_debug;
 #endif
 
 
+
 #if ! defined YYSTYPE && ! defined YYSTYPE_IS_DECLARED
 typedef union YYSTYPE
 {
-/* Line 2053 of yacc.c  */
-#line 10 "parserPromela.yacc"
+
+/* Line 2068 of yacc.c  */
+#line 16 "parserPromela.yacc"
 
   double real;
   int integer;
@@ -82,8 +75,9 @@ typedef union YYSTYPE
   xbt_automaton_exp_label_t label;
 
 
-/* Line 2053 of yacc.c  */
-#line 87 "parserPromela.tab.hacc"
+
+/* Line 2068 of yacc.c  */
+#line 81 "parserPromela.tab.hacc"
 } YYSTYPE;
 # define YYSTYPE_IS_TRIVIAL 1
 # define yystype YYSTYPE /* obsolescent; will be withdrawn */
@@ -92,18 +86,4 @@ typedef union YYSTYPE
 
 extern YYSTYPE xbt_automaton_parser_lval;
 
-#ifdef YYPARSE_PARAM
-#if defined __STDC__ || defined __cplusplus
-int xbt_automaton_parser_parse (void *YYPARSE_PARAM);
-#else
-int xbt_automaton_parser_parse ();
-#endif
-#else /* ! YYPARSE_PARAM */
-#if defined __STDC__ || defined __cplusplus
-int xbt_automaton_parser_parse (void);
-#else
-int xbt_automaton_parser_parse ();
-#endif
-#endif /* ! YYPARSE_PARAM */
 
-#endif /* !YY_XBT_AUTOMATON_PARSER_PARSERPROMELA_TAB_HACC_INCLUDED  */