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