From cc725c4aacf9e110d707609072682685c3857173 Mon Sep 17 00:00:00 2001
From: Samuel Chassot <samuel.chassot@epfl.ch>
Date: Fri, 6 Sep 2024 11:02:21 +0200
Subject: [PATCH] typo in script

---
 run-one-test.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/run-one-test.sh b/run-one-test.sh
index 5411361f..d48c7f62 100755
--- a/run-one-test.sh
+++ b/run-one-test.sh
@@ -23,7 +23,7 @@ function run_tests {
     echo "$ cat ./verify.sh"
     cat "./verify.sh"
     echo ""
-    bash "./verify.sh --compact"
+    bash "./verify.sh" "--compact"
     status=$?
     cd -
   else