tuned 2464ba6e6fc9 -- NB: approximative_id is NONE for PIDE document transactions;
authorwenzelm
Tue Feb 26 13:27:24 2013 +0100 (2013-02-26 ago)
changeset 512823d3c1ea0a401
parent 51281 c05f7e1dd602
child 51283 fefd07697979
tuned 2464ba6e6fc9 -- NB: approximative_id is NONE for PIDE document transactions;
src/Pure/Isar/toplevel.ML
     1.1 --- a/src/Pure/Isar/toplevel.ML	Tue Feb 26 13:05:48 2013 +0100
     1.2 +++ b/src/Pure/Isar/toplevel.ML	Tue Feb 26 13:27:24 2013 +0100
     1.3 @@ -637,8 +637,7 @@
     1.4  local
     1.5  
     1.6  fun timing_message tr (t: Timing.timing) =
     1.7 -  if Timing.is_relevant_time (#elapsed t) andalso not (Position.is_reported (pos_of tr))
     1.8 -  then
     1.9 +  if Timing.is_relevant_time (#elapsed t) then
    1.10      (case approximative_id tr of
    1.11        SOME id =>
    1.12          (Output.protocol_message