From 00a4f6ad3d3819d0e3e78e9a507b72135e3e5cdb Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 26 Jul 2019 15:28:38 -0700
Subject: [PATCH] throw

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

diff --git a/src/api/java/Context.java b/src/api/java/Context.java
index c2a229219..23062303e 100644
--- a/src/api/java/Context.java
+++ b/src/api/java/Context.java
@@ -3965,6 +3965,8 @@ public class Context implements AutoCloseable {
 
     long nCtx()
     {
+        if (m_ctx == 0) 
+            throw new Z3Exception("Context closed");
         return m_ctx;
     }
 
@@ -4133,6 +4135,6 @@ public class Context implements AutoCloseable {
         synchronized (creation_lock) {
             Native.delContext(m_ctx);
         }
-        m_ctx = null;
+        m_ctx = 0;
     }
 }