# HG changeset patch
# User blanchet
# Date 1310588179 -7200
# Node ID 151288f723dc594fbec3ea49770f1fcb42c2421b
# Parent  8ba759b8caa8de0383dc3eab7b2dfe327ebd93f3
no timeout for Nitrox

diff -r 8ba759b8caa8 -r 151288f723dc src/HOL/Tools/Nitpick/nitrox.ML
--- a/src/HOL/Tools/Nitpick/nitrox.ML	Wed Jul 13 22:16:19 2011 +0200
+++ b/src/HOL/Tools/Nitpick/nitrox.ML	Wed Jul 13 22:16:19 2011 +0200
@@ -126,7 +126,7 @@
          ("show_consts", "true"),
          ("format", "1000"),
          ("max_potential", "0"),
-         (* ("timeout", "240 s"), *)
+         ("timeout", "none"),
          ("expect", genuineN)]
         |> default_params @{theory}
       val i = 1