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