From 1d223b0403721c60b1e34214d9ac0920b0bfba4f Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 26 Jul 2019 14:59:10 -0700
Subject: [PATCH] setting ctx to null after close

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/api/java/Context.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/api/java/Context.java b/src/api/java/Context.java
index 20c1c3737..c2a229219 100644
--- a/src/api/java/Context.java
+++ b/src/api/java/Context.java
@@ -4133,5 +4133,6 @@ public class Context implements AutoCloseable {
         synchronized (creation_lock) {
             Native.delContext(m_ctx);
         }
+        m_ctx = null;
     }
 }