diff --git a/k-distribution/tests/regression-new/issue-1602/Makefile b/k-distribution/tests/regression-new/issue-1602/Makefile
index 0fa6ca06aa5..09f75b5fa2e 100644
--- 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