Deprecate %pure-parser and add `%define api.pure'. Discussed starting

[bison.git] / src / getargs.c

diff --git a/src/getargs.c b/src/getargs.c
index 5aaba8019a8b19572c2ac9a7128c4338cd34e918..bea533b60b59861536f331b25aab72daee1b6c69 100644 (file)
--- a/src/getargs.c
+++ b/src/getargs.c
@@ -59,7 +59,6 @@ bool error_verbose = false;
 
 bool nondeterministic_parser = false;
 bool glr_parser = false;
-bool pure_parser = false;
 
 int report_flag = report_none;
 int trace_flag = trace_none;