--- a/src/Tools/VSCode/src/vscode_sledgehammer.scala Sun Oct 26 13:57:17 2025 +0100
+++ b/src/Tools/VSCode/src/vscode_sledgehammer.scala Sun Oct 26 14:06:31 2025 +0100
@@ -7,7 +7,7 @@
import isabelle._
-import java.io.{PrintStream, PrintWriter, FileWriter, OutputStream, File => JFile}
+import java.io.{File => JFile}
object VSCode_Sledgehammer {
@@ -156,8 +156,6 @@
val query_position = sendback_id_opt.flatMap(id => query_position_from_sendback(snapshot, id))
.getOrElse(("unknown", 0, 0))
- val text = snapshot.node.source
-
val json = JSON.Object(
"content" -> xml_string,
"position" -> JSON.Object(