src/Pure/Tools/debugger.scala

--- a/src/Pure/Tools/debugger.scala	Sat Apr 09 15:40:29 2022 +0200
+++ b/src/Pure/Tools/debugger.scala	Thu Apr 21 10:03:38 2022 +0200
@@ -133,7 +133,7 @@
       }
     }
 
-    override val functions =
+    override val functions: Session.Protocol_Functions =
       List(
         Markup.DEBUGGER_STATE -> debugger_state,
         Markup.DEBUGGER_OUTPUT -> debugger_output)