src/Pure/Tools/build.ML

             (case approximative_id name pos of
               SOME id => inline_message (#2 function) (Markup.command_timing_properties id elapsed)
             | NONE => ())
           else ()
         end
+      else if function = Markup.theory_timing then
+        inline_message (#2 function) args
       else
         (case Markup.dest_loading_theory props of
           SOME name => writeln ("\floading_theory = " ^ name)
         | NONE => raise Output.Protocol_Message props)
   | [] => raise Output.Protocol_Message props);