From 6876df00aef0a676f5cb149eca84eeba4e3ff8d5 Mon Sep 17 00:00:00 2001
From: Michael M <91594326+MichaelMorami@users.noreply.github.com>
Date: Thu, 4 Nov 2021 11:50:40 +0200
Subject: [PATCH] slight changes change for convenience +
 disableLocalTypeChecking flag for the hooks

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

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