2007-11-08 Paolo Bonzini <bonzini@gnu.org>

[bison.git] / src / getargs.h

diff --git a/src/getargs.h b/src/getargs.h
index 4f62d3dc8e2a5092a79ef6852b26b603641c8faa..8449626b21785795245fbf70ca0c45b99e663b8b 100644 (file)
--- a/src/getargs.h
+++ b/src/getargs.h
@@ -36,6 +36,7 @@ extern char const *include;
 extern bool debug_flag;                        /* for -t */
 extern bool defines_flag;              /* for -d */
 extern bool graph_flag;                        /* for -g */
 extern bool debug_flag;                        /* for -t */
 extern bool defines_flag;              /* for -d */
 extern bool graph_flag;                        /* for -g */

+extern bool xml_flag;                  /* for -x */

 extern bool locations_flag;
 extern bool no_lines_flag;             /* for -l */
 extern bool token_table_flag;          /* for -k */
 extern bool locations_flag;
 extern bool no_lines_flag;             /* for -l */
 extern bool token_table_flag;          /* for -k */


@@ -50,19 +51,6 @@ extern bool error_verbose;
 
 extern bool glr_parser;
 
 
 extern bool glr_parser;
 

-/* PULL_PARSER is true if should generate a pull parser.  */
-
-extern bool pull_parser;
-
-/* PURE_PARSER is true if should generate a parser that is all pure
-   and reentrant.  */
-
-extern bool pure_parser;
-
-/* PUSH_PARSER is true if should generate a push parser.  */
-
-extern bool push_parser;
-

 /* NONDETERMINISTIC_PARSER is true iff conflicts are accepted.  This
    is used by the GLR parser, and might be used in BackTracking
    parsers too.  */
 /* NONDETERMINISTIC_PARSER is true iff conflicts are accepted.  This
    is used by the GLR parser, and might be used in BackTracking
    parsers too.  */