src/Tools/try.ML

--- a/src/Tools/try.ML	Fri Nov 26 16:25:58 2021 +0100
+++ b/src/Tools/try.ML	Tue Nov 30 11:31:07 2021 +0100
@@ -89,7 +89,7 @@
               val auto_time_limit = Options.default_real \<^system_option>\<open>auto_time_limit\<close>
             in
               if auto_time_limit > 0.0 then
-                (case Timeout.apply (seconds auto_time_limit) (fn () => body true state) () of
+                (case Timeout.apply_physical (seconds auto_time_limit) (fn () => body true state) () of
                   (true, (_, outcome)) => List.app Output.information outcome
                 | _ => ())
               else ()