1 files changed, 2 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index 377314b0..74f79a07 100644
--- a/.gitignore
+++ b/.gitignore
@@ -12,6 +12,8 @@ a.out
 _build/
 _sbuild/
 
+z3_problems
+
 # HOL4
 
 .HOLMK