Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/Nitpick/nitpick.ML
changeset 52031 9a9238342963
parent 50830 fc4025435b51
child 52202 d5c80b12a1f2 
--- a/src/HOL/Tools/Nitpick/nitpick.ML	Thu May 16 13:19:27 2013 +0200
+++ b/src/HOL/Tools/Nitpick/nitpick.ML	Thu May 16 13:34:13 2013 +0200
@@ -1051,7 +1051,7 @@
              (print_nt (fn () => excipit "ran out of time after checking");
               if !met_potential > 0 then potentialN else unknownN)
     val _ = print_v (fn () =>
-                "Total time: " ^ string_from_time (Timer.checkRealTimer timer) ^
+                "Total time: " ^ string_of_time (Timer.checkRealTimer timer) ^
                 ".")
   in (outcome_code, !state_ref) end
isabelle