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/Sledgehammer/sledgehammer_reconstruct.ML
changeset 54763 430ca13d3e54
parent 54760 a1ac3eaa0d11
child 54765 b05b0ea06306 
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_reconstruct.ML	Mon Dec 16 09:17:58 2013 +0100
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_reconstruct.ML	Mon Dec 16 09:40:02 2013 +0100
@@ -436,8 +436,7 @@
                else
                  []) @
               (if do_preplay then
-                [(if preplay_fail then "may fail, " else "") ^
-                   string_of_preplay_time preplay_time]
+                [(if preplay_fail then "may fail, " else "") ^ string_of_ext_time preplay_time]
                else
                  [])
           in
isabelle