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,