fix test

haslab · Jun 14, 2024 · f0d870d · f0d870d
1 parent 22d9c00
commit f0d870d
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.github/workflows/set-up-environment.yml b/.github/workflows/set-up-environment.yml
@@ -49,8 +49,7 @@ jobs:
       run: |
         eval $(opam env)
         tools=(why3 alt-ergo-2.4.2 alt-ergo-2.5.3 eprover-2.6 eprover-3.0 z3 cvc4 cvc5)
-        for tool in "${tools}"
-        do
+        for tool in ${tools[@]}; do
           cmd="which ${tool}"
           echo $cmd
           eval $cmd