From ad73d5f490909f5d63e1e869d120fe5d4901ced1 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 27 Nov 2025 15:04:28 -0800
Subject: [PATCH] remove deprecated set_has_size

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/api/js/src/high-level/high-level.ts | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/src/api/js/src/high-level/high-level.ts b/src/api/js/src/high-level/high-level.ts
index f53f2d8ca..edc429a7b 100644
--- a/src/api/js/src/high-level/high-level.ts
+++ b/src/api/js/src/high-level/high-level.ts
@@ -1307,10 +1307,6 @@ export function createApi(Z3: Z3Core): Z3HighLevel {
       return new SetImpl<ElemSort>(check(Z3.mk_set_difference(contextPtr, a.ast, b.ast)));
     }
     
-    function SetHasSize<ElemSort extends AnySort<Name>>(set: SMTSet<Name, ElemSort>, size: bigint | number | string | IntNum<Name>): Bool<Name> {
-      const a = typeof size === 'object'? Int.sort().cast(size) : Int.sort().cast(size);
-      return new BoolImpl(check(Z3.mk_set_has_size(contextPtr, set.ast, a.ast)));
-    }
 
     function SetAdd<ElemSort extends AnySort<Name>>(set: SMTSet<Name, ElemSort>, elem: CoercibleToMap<SortToExprMap<ElemSort, Name>, Name>): SMTSet<Name, ElemSort> {
       const arg = set.elemSort().cast(elem as any);