diff --git a/examples/contracts/.gitignore b/examples/contracts/.gitignore
index 43391a256..f12d23918 100644
--- a/examples/contracts/.gitignore
+++ b/examples/contracts/.gitignore
@@ -1,2 +1,5 @@
+repl
+ScenicLean
+
 repl/*
 ScenicLean/*