src/HOL/Tools/Sledgehammer/async_manager_legacy.ML
changeset 62826 eb94e570c1a4
parent 61556 0d4ee4168e41
child 63692 1bc4bc2c9fd1
     1.1 --- a/src/HOL/Tools/Sledgehammer/async_manager_legacy.ML	Sat Apr 02 23:14:08 2016 +0200
     1.2 +++ b/src/HOL/Tools/Sledgehammer/async_manager_legacy.ML	Sat Apr 02 23:29:05 2016 +0200
     1.3 @@ -96,7 +96,7 @@
     1.4        let
     1.5          fun time_limit timeout_heap =
     1.6            (case try Thread_Heap.min timeout_heap of
     1.7 -            NONE => Time.+ (Time.now (), max_wait_time)
     1.8 +            NONE => Time.now () + max_wait_time
     1.9            | SOME (time, _) => time)
    1.10  
    1.11          (*action: find threads whose timeout is reached, and interrupt canceling threads*)