src/Pure/Thy/thy_info.ML

--- a/src/Pure/Thy/thy_info.ML	Fri Mar 08 17:05:23 2019 +0100
+++ b/src/Pure/Thy/thy_info.ML	Fri Mar 08 19:22:28 2019 +0100
@@ -285,7 +285,7 @@
     fun prepare_span st span =
       Command_Span.content span
       |> Command.read keywords (Command.read_thy st) master_dir init ([], ~1)
-      |> (fn tr => Toplevel.put_timing (last_timing tr) tr);
+      |> (fn tr => Toplevel.timing (last_timing tr) tr);
 
     fun element_result span_elem (st, _) =
       let