src/Pure/Build/build_job.scala

       }
 
       nodes_changed += state_id
       nodes_delay.invoke()
     }
-
-    def get_theory_timings(): List[Properties.T] = synchronized {
-      nodes_domain.map(name =>
-        Markup.Name(name.theory) :::
-        Markup.Timing_Properties(nodes_status(name).total_timing))
-    }
   }
 
   class Session_Job private[Build_Job](
     build_context: Build.Context,
     session_context: Session_Context,