src/Pure/Isar/toplevel.ML
changeset 62826 eb94e570c1a4
parent 62819 d3ff367a16a0
child 62889 99c7f31615c2
     1.1 --- a/src/Pure/Isar/toplevel.ML	Sat Apr 02 23:14:08 2016 +0200
     1.2 +++ b/src/Pure/Isar/toplevel.ML	Sat Apr 02 23:29:05 2016 +0200
     1.3 @@ -651,7 +651,7 @@
     1.4      val timings = map get_timing trs;
     1.5    in
     1.6      if forall is_some timings then
     1.7 -      SOME (fold (curry Time.+ o the) timings Time.zeroTime)
     1.8 +      SOME (fold (curry (op +) o the) timings Time.zeroTime)
     1.9      else NONE
    1.10    end;
    1.11