Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/VSCode/extension/src/extension.ts
changeset 83401 1d9b1ca7977e
parent 83370 6a097e8add88
child 83405 6ac2c6c2e549 
--- a/src/Tools/VSCode/extension/src/extension.ts	Sun Oct 26 18:38:22 2025 +0100
+++ b/src/Tools/VSCode/extension/src/extension.ts	Sun Oct 26 19:14:08 2025 +0100
@@ -246,9 +246,8 @@
         sledgehammer_provider.insert(msg.position))
       language_client.onNotification(lsp.sledgehammer_locate_response_type, msg =>
         sledgehammer_provider.locate(msg.position))
-      language_client.onNotification(lsp.sledgehammer_provers_response, msg => {
-        sledgehammer_provider.update_provers(msg.provers, msg.history)
-      })
+      language_client.onNotification(lsp.sledgehammer_provers_response, msg =>
+        sledgehammer_provider.update_provers(msg.provers))
       language_client.onNotification(lsp.sledgehammer_no_proof_context_type, () =>
         sledgehammer_provider.updateNoProofContext());
     })
isabelle