diff --git a/scripts/prep.sh b/scripts/prep.sh
index 4d81bf36..cf6e48f2 100755
--- a/scripts/prep.sh
+++ b/scripts/prep.sh
@@ -3,4 +3,4 @@
 VERSION=https://github.com/dafny-lang/dafny/releases/download/v4.4.0/dafny-4.4.0-x64-ubuntu-20.04.zip
 
 wget $VERSION
-unzip `basename $VERSION` 
+unzip `basename $VERSION` 
\ No newline at end of file