diff --git a/src/api/js/src/high-level/types.ts b/src/api/js/src/high-level/types.ts
index 2a8f42e82..42f8deb79 100644
--- a/src/api/js/src/high-level/types.ts
+++ b/src/api/js/src/high-level/types.ts
@@ -800,8 +800,6 @@ export interface Solver<Name extends string = 'main'> {
 
   model(): Model<Name>;
 
-  unsatCore(): AstVector<Name, Bool<Name>>;
-
   /**
    * Return a string describing why the last call to {@link check} returned `'unknown'`.
    *