From 6893e782edbd37983d5c10cb31b75a770ebdb8af Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 22 Jan 2025 11:59:36 -0800
Subject: [PATCH] add cases for new parameters for ts build

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

diff --git a/src/api/js/src/high-level/high-level.ts b/src/api/js/src/high-level/high-level.ts
index 177241bfd6..7d19df9820 100644
--- a/src/api/js/src/high-level/high-level.ts
+++ b/src/api/js/src/high-level/high-level.ts
@@ -1909,6 +1909,10 @@ export function createApi(Z3: Z3Core): Z3HighLevel {
             case Z3_parameter_kind.Z3_PARAMETER_FUNC_DECL:
               result.push(new FuncDeclImpl(check(Z3.get_decl_func_decl_parameter(contextPtr, this.ptr, i))));
               break;
+            case Z3_parameter_kind.Z3_PARAMETER_INTERNAL:
+              break;
+            case Z3_parameter_kind.Z3_PARAMETER_ZSTRING:
+              break;
             default:
               assertExhaustive(kind);
           }