diff --git a/.gitignore b/.gitignore
index cee2c70..171a389 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1 @@
 *.agdai
-index.agda
\ No newline at end of file
diff --git a/verify.sh b/verify.sh
index 17e799a..19992bd 100755
--- a/verify.sh
+++ b/verify.sh
@@ -4,3 +4,4 @@ for i in $( find src -name "*.agda" | sed 's/src\/\(.*\)\.agda/\1/' | sed 's/\//
     echo "import $i" >> index.agda;
 done;
 agda -i . -i src/ index.agda
+rm -rf index.agda;