diff --git a/.gitignore b/.gitignore
index 224b1595b..0079a6798 100644
--- a/.gitignore
+++ b/.gitignore
@@ -6,3 +6,4 @@ _build/
 _sbuild/
 *.o
 *.a
+/z3_problems