From 9b9b7a6980f6ed391e8049e89552b4c5435e3297 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Tue, 27 Nov 2012 19:02:15 +0000
Subject: [PATCH] Java API: .gitignore updated

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
---
 .gitignore | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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