From aad511d40b7b424251af78c2aec9aac5003094f8 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 6 Aug 2025 21:22:23 -0700
Subject: [PATCH] missing new closure

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

diff --git a/src/api/js/scripts/parse-api.ts b/src/api/js/scripts/parse-api.ts
index 151e2f7bd..a04e7b217 100644
--- a/src/api/js/scripts/parse-api.ts
+++ b/src/api/js/scripts/parse-api.ts
@@ -56,6 +56,7 @@ const types = {
   Z3_final_eh: 'Z3_final_eh',
   Z3_created_eh: 'Z3_created_eh',
   Z3_decide_eh: 'Z3_decide_eh',
+  Z3_on_binding_eh: 'Z3_on_binding_eh',
   Z3_on_clause_eh: 'Z3_on_clause_eh',
 } as unknown as Record<string, string>;