From 715b73c93deb556a7915fd22d7e2e57edac75744 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 27 Nov 2025 15:07:27 -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 | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/api/js/src/high-level/high-level.ts b/src/api/js/src/high-level/high-level.ts
index edc429a7b..8dad173b3 100644
--- a/src/api/js/src/high-level/high-level.ts
+++ b/src/api/js/src/high-level/high-level.ts
@@ -2640,9 +2640,6 @@ export function createApi(Z3: Z3Core): Z3HighLevel {
       diff(b: SMTSet<Name, ElemSort>): SMTSet<Name, ElemSort> {
         return SetDifference(this, b);
       }
-      hasSize(size: string | number | bigint | IntNum<Name>): Bool<Name> {
-        return SetHasSize(this, size);
-      }
       add(elem: CoercibleToMap<SortToExprMap<ElemSort, Name>, Name>): SMTSet<Name, ElemSort> {
         return SetAdd(this, elem);
       }