Fix run-cn.sh (rems-project#726)

vzaliva · Dec 4, 2024 · 2cf59b6 · 2cf59b6
1 parent e9f71ad
commit 2cf59b6
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