1.1 --- a/src/HOL/Nitpick_Examples/ROOT.ML	Tue Nov 17 18:24:43 2009 +0100
     1.2 +++ b/src/HOL/Nitpick_Examples/ROOT.ML	Tue Nov 17 19:08:02 2009 +0100
     1.3 @@ -5,7 +5,6 @@
     1.4  Nitpick examples.
     1.5  *)
     1.6  
     1.7 -Toplevel.debug := true;
     1.8  if getenv "KODKODI" = "" then
     1.9    ()
    1.10  else