# HG changeset patch
# User wenzelm
# Date 1608754521 -3600
# Node ID 52ba78df40884dab54e13c590bdb766afb42e7e0
# Parent  b1be35908165959e4b25e3e3382589a49ddbdd8d
disable auto_nitpick for now: spurious problems with non-termination e.g. in HOL-Hoare examples;

diff -r b1be35908165 -r 52ba78df4088 src/HOL/Tools/etc/options
--- a/src/HOL/Tools/etc/options	Wed Dec 23 21:06:31 2020 +0100
+++ b/src/HOL/Tools/etc/options	Wed Dec 23 21:15:21 2020 +0100
@@ -8,7 +8,7 @@
 public option auto_time_limit : real = 2.0
   -- "time limit for automatically tried tools (seconds > 0)"
 
-public option auto_nitpick : bool = true
+public option auto_nitpick : bool = false
   -- "run Nitpick automatically"
 
 public option auto_sledgehammer : bool = false