From 23fe35da6cec18de3f0152dce90ba10d5ed232a4 Mon Sep 17 00:00:00 2001
From: Jonas Jongejan <jonas@picturestudio.ai>
Date: Mon, 21 Oct 2024 15:39:15 -0400
Subject: [PATCH] Add missing line

---
 src/api/js/src/high-level/high-level.ts | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/api/js/src/high-level/high-level.ts b/src/api/js/src/high-level/high-level.ts
index c62b86863..2c69848c3 100644
--- a/src/api/js/src/high-level/high-level.ts
+++ b/src/api/js/src/high-level/high-level.ts
@@ -1442,6 +1442,7 @@ export function createApi(Z3: Z3Core): Z3HighLevel {
 
       release() {
         Z3.optimize_dec_ref(contextPtr, this.ptr);
+        this._ptr = null;
         cleanup.unregister(this);
       }
     }