summaryrefslogtreecommitdiffstats
path: root/parser.l
diff options
context:
space:
mode:
Diffstat (limited to 'parser.l')
-rw-r--r--parser.l2
1 files changed, 0 insertions, 2 deletions
diff --git a/parser.l b/parser.l
index db95ef3e..897c6532 100644
--- a/parser.l
+++ b/parser.l
@@ -63,8 +63,6 @@ val yyin_stream;
cnum lineno = 1;
int opt_loglevel = 1; /* 0 - quiet; 1 - normal; 2 - verbose */
-int opt_nobindings = 0;
-int opt_arraydims = 1;
int errors;