diff --git a/imperative/.gitignore b/imperative/.gitignore
index 724bbe1..b20942e 100644
--- a/imperative/.gitignore
+++ b/imperative/.gitignore
@@ -1 +1,2 @@
 compiled/
+scratch/