From dfa0505c407878cdc2177442faea07caf3bc77d1 Mon Sep 17 00:00:00 2001
From: Hadrien Croubois <hadrien.croubois@gmail.com>
Date: Wed, 21 Sep 2022 09:18:00 +0200
Subject: [PATCH] fix formal verification workflow

---
 .github/workflows/formal-verifiation.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 || '' }}