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_isar_preplay.ML
changeset 73383 6b104dc069de
parent 72584 4ea19e5dc67e
child 75123 66eb6fdfc244 
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_isar_preplay.ML	Fri Mar 05 13:48:23 2021 +0100
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_isar_preplay.ML	Fri Mar 05 16:09:42 2021 +0100
@@ -57,7 +57,7 @@
           else
             let val y = f timeout x in
               (case get_time y of
-                SOME time => next_timeout := time_min (time, !next_timeout)
+                SOME time => next_timeout := Time.min (time, !next_timeout)
               | _ => ());
               SOME y
             end
isabelle