From 8fc90f67797aa653cb570dfdc1d1a41a5902fa7d Mon Sep 17 00:00:00 2001
From: Michael George <mdgeorge@cs.cornell.edu>
Date: Mon, 11 Apr 2022 16:55:54 -0400
Subject: [PATCH] fix in script

---
 certora/scripts/verifyERC721Votes.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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}"