diff --git a/.gitignore b/.gitignore
index f890733b7d..18a3a0200c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -15,3 +15,4 @@ rusty-tags.*
 tags
 target
 .z3-trace
+foo