--- a/src/Tools/VSCode/extension/media/sledgehammer.js Sat Nov 01 16:35:04 2025 +0100
+++ b/src/Tools/VSCode/extension/media/sledgehammer.js Sat Nov 01 17:30:43 2025 +0100
@@ -217,12 +217,6 @@
else if (message.command === "provers" && message.provers) {
provers_input.value = message.provers;
}
- else if (message.command === "no_proof") {
- const div = document.createElement("div");
- div.classList.add("interrupt");
- div.textContent = "Unknown proof context";
- result.appendChild(div);
- }
else if (message.command === "result") {
if (was_cancelled) return;
result.innerHTML = "";