Use a GLR parser because lesson_{7,8,9} grammars aren't LR1

runtimeverification · Apr 17, 2024 · adc0956 · adc0956
1 parent 1a840e4
commit adc0956
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/1_k/1_lambda/lesson_1/Makefile b/1_k/1_lambda/lesson_1/Makefile
@@ -1,7 +1,7 @@
 MAKEFILE_PATH := $(dir $(abspath $(lastword $(MAKEFILE_LIST))))
 DEF=lambda
 EXT=lambda
-KOMPILE_FLAGS=--gen-bison-parser
+KOMPILE_FLAGS=--gen-glr-bison-parser
 
 %/arithmetic-div-zero.lambda:
 	true