From ab227c83b2a98499683b46ff5a05f9b011518830 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 27 Nov 2025 15:11:59 -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 | 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 8dad173b3..242afb0bd 100644
--- a/src/api/js/src/high-level/high-level.ts
+++ b/src/api/js/src/high-level/high-level.ts
@@ -3285,7 +3285,6 @@ export function createApi(Z3: Z3Core): Z3HighLevel {
       SetUnion,
       SetIntersect,
       SetDifference,
-      SetHasSize,
       SetAdd,
       SetDel,
       SetComplement,