# HG changeset patch
# User wenzelm
# Date 1601378427 -7200
# Node ID 0823524eea1ec1c525e0c3945987a49c183d07a1
# Parent  319dd5c618a5f65747270f977341d521d3ece843
more reactive kodkod execution: avoid confusion about timeout/deadline;

diff -r 319dd5c618a5 -r 0823524eea1e src/HOL/Tools/Nitpick/kodkod.ML
--- a/src/HOL/Tools/Nitpick/kodkod.ML	Tue Sep 29 13:19:34 2020 +0200
+++ b/src/HOL/Tools/Nitpick/kodkod.ML	Tue Sep 29 13:20:27 2020 +0200
@@ -1035,7 +1035,7 @@
             (timeout, (solve_all, (max_solutions, (max_threads, kki))))
             |> let open XML.Encode in pair int (pair bool (pair int (pair int string))) end
             |> YXML.string_of_body
-            |> \<^scala>\<open>kodkod\<close>
+            |> \<^scala_thread>\<open>kodkod\<close>
             |> YXML.parse_body
             |> let open XML.Decode in triple int string string end