--- a/src/Tools/VSCode/extension/src/lsp.ts Sun Oct 26 19:22:05 2025 +0100
+++ b/src/Tools/VSCode/extension/src/lsp.ts Sun Oct 26 19:38:38 2025 +0100
@@ -270,8 +270,8 @@
export const sledgehammer_insert_position_response_type =
new NotificationType<SledgehammerInsertPosition>("PIDE/sledgehammer_insert_position_response");
-export const sledgehammer_no_proof_context_type =
- new NotificationType<void>("PIDE/sledgehammer_no_proof_context");
+export const sledgehammer_no_proof_response_type =
+ new NotificationType<void>("PIDE/sledgehammer_no_proof_resonse");
/* spell checker */