-/* A Bison parser, made by GNU Bison 2.5. */
+/* A Bison parser, made by GNU Bison 2.7.12-4996. */
/* Bison interface for Yacc-like parsers in C
- Copyright (C) 1984, 1989-1990, 2000-2011 Free Software Foundation, Inc.
+ Copyright (C) 1984, 1989-1990, 2000-2013 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
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
#endif
-
#if ! defined YYSTYPE && ! defined YYSTYPE_IS_DECLARED
typedef union YYSTYPE
{
-
-/* Line 2068 of yacc.c */
+/* Line 2053 of yacc.c */
#line 10 "parserPromela.yacc"
double real;
xbt_automaton_exp_label_t label;
-
-/* Line 2068 of yacc.c */
-#line 81 "parserPromela.tab.hacc"
+/* Line 2053 of yacc.c */
+#line 87 "parserPromela.tab.hacc"
} YYSTYPE;
# define YYSTYPE_IS_TRIVIAL 1
# define yystype YYSTYPE /* obsolescent; will be withdrawn */
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 */