From 926359140be8d3ac7119da73f4b3fd562eae666f Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 8 Jan 2026 20:56:12 -0800
Subject: [PATCH] Remove duplicate unsatCore method in types.ts

Removed duplicate unsatCore method declaration.
---
 src/api/js/src/high-level/types.ts | 2 --
 1 file changed, 2 deletions(-)

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'`.
    *