diff --git a/.gitignore b/.gitignore index 8424ea64b..505601597 100644 --- a/.gitignore +++ b/.gitignore @@ -48,4 +48,6 @@ src/api/dotnet/Native.cs src/api/python/z3consts.py src/api/python/z3core.py src/ast/pattern/database.h -src/util/version.h \ No newline at end of file +src/util/version.h +src/api/java/Z3Native.c +src/api/java/Z3Native.java \ No newline at end of file