src/Tools/VSCode/src/lsp.scala

--- a/src/Tools/VSCode/src/lsp.scala	Mon Oct 27 11:09:41 2025 +0100
+++ b/src/Tools/VSCode/src/lsp.scala	Mon Oct 27 11:39:32 2025 +0100
@@ -821,8 +821,7 @@
       }
   }
 
-  object Sledgehammer_Cancel_Request
-    extends Notification0("PIDE/sledgehammer_cancel_request")
+  object Sledgehammer_Cancel extends Notification0("PIDE/sledgehammer_cancel")
 
   object Sledgehammer_Status_Response {
     def apply(message: String): JSON.T =