# HG changeset patch
# User wenzelm
# Date 1761404895 -7200
# Node ID fea56c7615fde7770b05d839f9429a01a741a599
# Parent  93a03569641837aae8bddb576efdff879d87116d
tuned;

diff -r 93a035696418 -r fea56c7615fd src/Tools/VSCode/src/language_server.scala
--- a/src/Tools/VSCode/src/language_server.scala	Sat Oct 25 17:06:13 2025 +0200
+++ b/src/Tools/VSCode/src/language_server.scala	Sat Oct 25 17:08:15 2025 +0200
@@ -118,7 +118,7 @@
   def resources: VSCode_Resources = session.resources
   def ml_settings: ML_Settings = session.store.ml_settings
 
-  private val sledgehammer_panel = VSCode_Sledgehammer(this)
+  private val sledgehammer_panel = VSCode_Sledgehammer(server)
 
   def rendering_offset(node_pos: Line.Node_Position): Option[(VSCode_Rendering, Text.Offset)] =
     for {