From 4c79e63c1b1a0a653b14d9ddc8190cdd084debf4 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 19 Oct 2022 12:52:58 -0700
Subject: [PATCH] Update parse-api.ts

---
 src/api/js/scripts/parse-api.ts | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/api/js/scripts/parse-api.ts b/src/api/js/scripts/parse-api.ts
index cee61ca29..c3292583a 100644
--- a/src/api/js/scripts/parse-api.ts
+++ b/src/api/js/scripts/parse-api.ts
@@ -45,6 +45,8 @@ const types = {
   __proto__: null,
 
   // these are function types I can't be bothered to parse
+  // NSB: They can be extracted automatically from z3_api.h thanks to the use 
+  // of a macro.
   Z3_error_handler: 'Z3_error_handler',
   Z3_push_eh: 'Z3_push_eh',
   Z3_pop_eh: 'Z3_pop_eh',
@@ -54,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_clause_eh: 'Z3_on_clause_eh',
 } as unknown as Record<string, string>;
 
 export type ApiParam = { kind: string; sizeIndex?: number; type: string };