Merge remote-tracking branch 'origin/develop'

runtimeverification · Oct 18, 2023 · 13145c6 · 13145c6
2 parents ff63c5a + 32989da
commit 13145c6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/k-distribution/tests/regression-new/context-labels/Makefile b/k-distribution/tests/regression-new/context-labels/Makefile
@@ -4,7 +4,7 @@ KOMPILE_BACKEND=haskell
 KPROVE_FLAGS+=--debugger --debug-script context-spec.k.in
 KORE_REPL_OPTS=--log-entries DebugAppliedLabeledRewriteRule
 export KORE_REPL_OPTS
-CONSIDER_PROVER_ERRORS=2>&1 | sed 's!\[[0-9]\+]!!g' # Hacking in a sed command here to remove strings of the form '[23452]'
+CONSIDER_PROVER_ERRORS=2>&1 | sed 's!\[[0-9][0-9]*]!!g' # Hacking in a sed command here to remove strings of the form '[23452]'
 
 include ../../../include/kframework/ktest.mak