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>;