From 3cb87abec13dbca0ec7c51021188c0cd7d0966f5 Mon Sep 17 00:00:00 2001
From: Aleksander Kryukov <firealexkryukov@gmail.com>
Date: Tue, 8 Mar 2022 19:20:55 +0000
Subject: [PATCH] removed flags for erc20Votes script

---
 certora/scripts/verifyERC20Votes.sh | 1 -
 1 file changed, 1 deletion(-)

diff --git a/certora/scripts/verifyERC20Votes.sh b/certora/scripts/verifyERC20Votes.sh
index 5d70e1f25..bb8c8e749 100644
--- a/certora/scripts/verifyERC20Votes.sh
+++ b/certora/scripts/verifyERC20Votes.sh
@@ -4,5 +4,4 @@ certoraRun \
     --solc solc8.2 \
     --optimistic_loop \
     --cloud \
-    --settings -strictDecompiler=false,-assumeUnwindCond \
     --msg "sanityVotes"