make SML/NJ happy;
authorwenzelm
Fri Feb 22 16:52:10 2013 +0100 (2013-02-22 ago)
changeset 5124183252b0605be
parent 51240 a7a04b449e8b
child 51242 a8e664e4fb5f
make SML/NJ happy;
src/Pure/Isar/toplevel.ML
     1.1 --- a/src/Pure/Isar/toplevel.ML	Fri Feb 22 14:39:12 2013 +0100
     1.2 +++ b/src/Pure/Isar/toplevel.ML	Fri Feb 22 16:52:10 2013 +0100
     1.3 @@ -633,7 +633,7 @@
     1.4  
     1.5  local
     1.6  
     1.7 -fun timing_message tr t =
     1.8 +fun timing_message tr (t: Timing.timing) =
     1.9    if Timing.is_relevant_time (#elapsed t) andalso not (Position.is_reported (pos_of tr))
    1.10    then
    1.11      (case approximative_id tr of