From 5657399d554f0c67715855840d2cee09e20c5ed1 Mon Sep 17 00:00:00 2001
From: George Karpenkov <george@metaworld.me>
Date: Sun, 12 Jun 2016 20:39:54 +0200
Subject: [PATCH] Bugfix for incorrect order of operations.

---
 src/api/java/Z3Object.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/java/Z3Object.java b/src/api/java/Z3Object.java
index 6fd12bfba..f982bba1c 100644
--- a/src/api/java/Z3Object.java
+++ b/src/api/java/Z3Object.java
@@ -29,8 +29,8 @@ public abstract class Z3Object {
     Z3Object(Context ctx, long obj) {
         m_ctx = ctx;
         checkNativeObject(obj);
-        incRef(obj);
         m_n_obj = obj;
+        incRef(obj);
     }
 
     /**