obsolete;

--- a/src/Tools/VSCode/extension/src/lsp.ts	Sun Oct 26 21:16:52 2025 +0100
+++ b/src/Tools/VSCode/extension/src/lsp.ts	Sun Oct 26 21:18:27 2025 +0100
@@ -235,10 +235,6 @@
   provers: string;
 }
 
-export interface SledgehammerNoSuchProver {
-  provers: string[];
-}
-
 export const sledgehammer_request_type =
   new NotificationType<SledgehammerApplyRequest>("PIDE/sledgehammer_request");