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

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

diff --git a/src/api/js/src/high-level/types.ts b/src/api/js/src/high-level/types.ts
index 3c1ebaa10..26036ad85 100644
--- a/src/api/js/src/high-level/types.ts
+++ b/src/api/js/src/high-level/types.ts
@@ -629,9 +629,6 @@ export interface Context<Name extends string = 'main'> {
   
   /** @category Operations */
   SetDifference<ElemSort extends AnySort<Name>>(a: SMTSet<Name, ElemSort>, b: SMTSet<Name, ElemSort>): SMTSet<Name, ElemSort>;
-  
-  /** @category Operations */
-  SetHasSize<ElemSort extends AnySort<Name>>(set: SMTSet<Name, ElemSort>, size: bigint | number | string | IntNum<Name>): Bool<Name>;
 
   /** @category Operations */
   SetAdd<ElemSort extends AnySort<Name>>(set: SMTSet<Name, ElemSort>, elem: CoercibleToMap<SortToExprMap<ElemSort, Name>, Name>): SMTSet<Name, ElemSort>;
@@ -1649,7 +1646,6 @@ export interface SMTSet<Name extends string = 'main', ElemSort extends AnySort<N
   intersect(...args: SMTSet<Name, ElemSort>[]): SMTSet<Name, ElemSort>;
   diff(b: SMTSet<Name, ElemSort>): SMTSet<Name, ElemSort>;
   
-  hasSize(size: bigint | number | string | IntNum<Name>): Bool<Name>;
 
   add(elem: CoercibleToMap<SortToExprMap<ElemSort, Name>, Name>): SMTSet<Name, ElemSort>;
   del(elem: CoercibleToMap<SortToExprMap<ElemSort, Name>, Name>): SMTSet<Name, ElemSort>;