diff -r a225609e3344 -r 14d83daeaafc src/Pure/PIDE/markup.ML
--- a/src/Pure/PIDE/markup.ML	Tue Sep 23 13:11:52 2025 +0200
+++ b/src/Pure/PIDE/markup.ML	Wed Sep 24 16:22:49 2025 +0200
@@ -264,7 +264,6 @@
   val cancel_scala: string -> Properties.T
   val task_statistics: Properties.entry
   val command_timing: Properties.entry
-  val theory_timing: Properties.entry
   val session_timing: Properties.entry
   val loading_theory: string -> Properties.T
   val build_session_finished: Properties.T
@@ -833,8 +832,6 @@
 
 val command_timing = function "command_timing";
 
-val theory_timing = function "theory_timing";
-
 val session_timing = function "session_timing";
 
 fun loading_theory name = [function "loading_theory", (nameN, name)];