diff --git a/.github/workflows/formal-verifiation.yml b/.github/workflows/formal-verifiation.yml
index cb2bddfff..1bc886ba4 100644
--- a/.github/workflows/formal-verifiation.yml
+++ b/.github/workflows/formal-verifiation.yml
@@ -55,7 +55,7 @@ jobs:
           certoraRun ${{ matrix.params.file }} \
             --verify ${{ matrix.params.name }}:${{ matrix.params.spec }} \
             --solc solc \
-            --optimistic_loop
+            --optimistic_loop \
             --loop_iter 3 \
             --cloud \
             ${{ matrix.params.args || '' }}