From d79378b4a3e3ba0d8895983b472320ad1920377b Mon Sep 17 00:00:00 2001 From: Sam Caldwell Date: Mon, 11 Jan 2021 12:10:05 -0500 Subject: [PATCH] clean up generated files --- racket/typed/run-spin.sh | 1 + 1 file changed, 1 insertion(+) 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