diff --git a/.gitignore b/.gitignore index 95ecec810..d380fe06f 100644 --- a/.gitignore +++ b/.gitignore @@ -52,6 +52,6 @@ src/api/python/z3consts.py src/api/python/z3core.py src/ast/pattern/database.h src/util/version.h -src/api/java/Z3Native.cpp -src/api/java/Z3Native.java +src/api/java/Native.cpp +src/api/java/Native.java src/api/java/enumerations/*.java