src/HOL/Tools/Nitpick/kodkod.ML
changeset 62826 eb94e570c1a4
parent 62549 9498623b27f0
child 64304 96bc94c87a81
     1.1 --- a/src/HOL/Tools/Nitpick/kodkod.ML	Sat Apr 02 23:14:08 2016 +0200
     1.2 +++ b/src/HOL/Tools/Nitpick/kodkod.ML	Sat Apr 02 23:29:05 2016 +0200
     1.3 @@ -989,7 +989,7 @@
     1.4  val fudge_ms = 250
     1.5  
     1.6  fun milliseconds_until_deadline deadline =
     1.7 -  Int.max (0, Time.toMilliseconds (Time.- (deadline, Time.now ())) - fudge_ms)
     1.8 +  Int.max (0, Time.toMilliseconds (deadline - Time.now ()) - fudge_ms)
     1.9  
    1.10  fun uncached_solve_any_problem overlord deadline max_threads max_solutions
    1.11                                 problems =