Add z3_problems to .gitignore

This file seems to be created on every build.
Timmmm · Sep 12, 2023 · e0d42a8 · e0d42a8
1 parent 7682079
commit e0d42a8
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -6,3 +6,4 @@ _build/
 _sbuild/
 *.o
 *.a
+/z3_problems