From 6323c9a73dc036cfed87ea7043ddc897c8152c61 Mon Sep 17 00:00:00 2001
From: Michael M <91594326+MichaelMorami@users.noreply.github.com>
Date: Thu, 4 Nov 2021 12:35:11 +0200
Subject: [PATCH] slight changes in scripts + disableLocalTypeChecking

---
 certora/scripts/Governor.sh | 2 +-
 certora/scripts/sanity.sh   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/certora/scripts/Governor.sh b/certora/scripts/Governor.sh
index 8450e7d03..97486c2fa 100755
--- a/certora/scripts/Governor.sh
+++ b/certora/scripts/Governor.sh
@@ -4,4 +4,4 @@ certoraRun certora/harnesses/GovernorHarness.sol \
     --staging \
     --msg $1 \
     --disableLocalTypeChecking \
-    --rule voteStartBeforeVoteEnd
+    --rule voteStartBeforeVoteEnd
\ No newline at end of file
diff --git a/certora/scripts/sanity.sh b/certora/scripts/sanity.sh
index d157d6d42..0da31d15e 100644
--- a/certora/scripts/sanity.sh
+++ b/certora/scripts/sanity.sh
@@ -8,4 +8,4 @@ do
     --solc solc8.0 \
     --staging \
     --msg "sanity ${file}"
-done
+done
\ No newline at end of file