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

[bison.git] / src / getargs.h

diff --git a/src/getargs.h b/src/getargs.h
index c7370d7792ed331bcd1720886ee9c24e12ad691e..8449626b21785795245fbf70ca0c45b99e663b8b 100644 (file)
--- a/src/getargs.h
+++ b/src/getargs.h
@@ -51,19 +51,6 @@ extern bool error_verbose;
 
 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.  */