fixed java build issues. Relates to Z3Prover#648.

wintersteiger · Jun 24, 2016 · e9eb88e · e9eb88e
1 parent 3e96a79
commit e9eb88e
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/examples/java/JavaExample.java b/examples/java/JavaExample.java
@@ -188,7 +188,7 @@ public void simpleExample()
             /* do something with the context */
 
             /* be kind to dispose manually and not wait for the GC. */
-            ctx.dispose();
+            ctx.close();
         }
     }
 

diff --git a/src/api/java/Context.java b/src/api/java/Context.java
@@ -35,6 +35,11 @@ public Context () {
         init();
     }
 
+    protected Context (long m_ctx) {
+        this.m_ctx = m_ctx;
+        init();
+    }
+
 
     /**
      * Constructor.
-Original file line number
+Diff line change
@@ Expand Up / @@ -35,6 +35,11 @@ public Context () { @@
             init();
         }
+        protected Context (long m_ctx) {
+            this.m_ctx = m_ctx;
+            init();
+        }
         /**
          * Constructor.
@@ Expand Down @@