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