Fix run-cn.sh (#726)

rems-project · Nov 23, 2024 · ede24dc · ede24dc
1 parent 263ec7f
commit ede24dc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/run-cn.sh b/tests/run-cn.sh
@@ -13,7 +13,7 @@ function echo_and_err() {
     exit 1
 }
 
-printf "\033[31mDEPRECATED\033[0m please use diff-prog.py (see ci-cn.yml)\n" "$result"
+printf "\033[31mDEPRECATED\033[0m please use diff-prog.py (see ci-cn.yml)\n"
 
 LEMMATA=0