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