src/HOL/Tools/Nitpick/nitpick_tests.ML

--- a/src/HOL/Tools/Nitpick/nitpick_tests.ML	Fri Mar 05 17:02:32 2021 +0100
+++ b/src/HOL/Tools/Nitpick/nitpick_tests.ML	Fri Mar 05 17:29:49 2021 +0100
@@ -211,7 +211,7 @@
 fun run_all_tests () =
   let
     val {debug, overlord, timeout, ...} = Nitpick_Commands.default_params \<^theory> []
-    val deadline = Time.now () + timeout
+    val deadline = Timeout.end_time timeout
     val max_threads = 1
     val max_solutions = 1
   in