diff --git a/run.sh b/run.sh
index 673233a..cc3bc5b 100755
--- a/run.sh
+++ b/run.sh
@@ -81,7 +81,7 @@ for file in "${TEST_FILES[@]}"; do
         "$VERIFY_SCRIPT" "$file" test/test_result/function/ir --run 2>&1 | tee -a "$RESULT_FILE"
         result2=${PIPESTATUS[0]}
     else
-        "$VERBOSE" "$VERIFY_SCRIPT" "$file" test/test_result/function/ir --run >> "$RESULT_FILE" 2>&1
+        "$VERIFY_SCRIPT" "$file" test/test_result/function/ir --run >> "$RESULT_FILE" 2>&1
         result2=$?
     fi
     echo "" >> "$RESULT_FILE"