diff --git a/certora/scripts/verifyERC721Votes.sh b/certora/scripts/verifyERC721Votes.sh
index 2f089b1c2..e2a7320f9 100644
--- a/certora/scripts/verifyERC721Votes.sh
+++ b/certora/scripts/verifyERC721Votes.sh
@@ -23,4 +23,4 @@ certoraRun \
     --settings -copyLoopUnroll=4 \
     --send_only \
     --staging "alex/new-dt-hashing-alpha" \
-    --msg "${msg}" \
\ No newline at end of file
+    --msg "${msg}"