Fix parser segfault in test suite (#2413)

Co-authored-by: rv-jenkins <[email protected]>
runtimeverification · Jan 25, 2022 · 382a862 · 382a862
1 parent 7ee97d7
commit 382a862
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/k-distribution/tests/regression-new/issue-1602/Makefile b/k-distribution/tests/regression-new/issue-1602/Makefile
@@ -2,6 +2,6 @@ DEF=test
 EXT=test
 TESTDIR=.
 KOMPILE_FLAGS+=--gen-bison-parser --bison-stack-max-depth 12000
-KRUN_FLAGS=--dry-run 1>/dev/null
+KRUN_FLAGS=--dry-run 1>/dev/null --no-expand-macros
 
 include ../../../include/kframework/ktest.mak