--- a/src/Tools/VSCode/extension/media/sledgehammer.js Sun Oct 26 20:46:09 2025 +0100
+++ b/src/Tools/VSCode/extension/media/sledgehammer.js Sun Oct 26 21:02:21 2025 +0100
@@ -230,12 +230,6 @@
div.textContent = "Unknown proof context";
result.appendChild(div);
}
- else if (message.command === "no_provers") {
- const div = document.createElement("div");
- div.classList.add("interrupt");
- div.textContent = "No such provers";
- result.appendChild(div);
- }
else if (message.command === "result") {
if (was_cancelled) return;
result.innerHTML = "";