diff --git a/racket/typed/run-spin.sh b/racket/typed/run-spin.sh
index 2d868a7..2c0c584 100755
--- a/racket/typed/run-spin.sh
+++ b/racket/typed/run-spin.sh
@@ -5,3 +5,4 @@ EXE="$1-verifier.o"
 spin -a $1
 gcc -o $EXE pan.c
 $EXE -a -f -n -N $2
+rm $EXE pan.c