From 1e296c3d4ccb475fce3e2c9789cf107b1b596372 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Sat, 17 Jan 2026 20:14:45 +0000
Subject: [PATCH] Fix TypeScript build error: remove redundant array length
 parameter

The Z3 TypeScript wrapper auto-generates array length parameters from the array itself, so passing assumptions.length explicitly causes a parameter count mismatch. Removed the redundant parameter.

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 src/api/js/src/high-level/high-level.ts | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/api/js/src/high-level/high-level.ts b/src/api/js/src/high-level/high-level.ts
index d88b96e2e..b4161ca35 100644
--- a/src/api/js/src/high-level/high-level.ts
+++ b/src/api/js/src/high-level/high-level.ts
@@ -1924,7 +1924,6 @@ export function createApi(Z3: Z3Core): Z3HighLevel {
           '',
           status,
           '',
-          assumptions.length,
           assumptions,
           formula
         ));