1.1 --- a/src/HOL/Tools/Nitpick/nitpick_util.ML	Sun Sep 05 19:47:40 2010 +0200
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick_util.ML	Sun Sep 05 21:41:24 2010 +0200
     1.3 @@ -281,7 +281,8 @@
     1.4  
     1.5  fun set_show_all_types ctxt =
     1.6    Config.put show_all_types
     1.7 -    (!show_types orelse !show_sorts orelse Config.get ctxt show_all_types) ctxt
     1.8 +    (Config.get ctxt show_types orelse Config.get ctxt show_sorts
     1.9 +      orelse Config.get ctxt show_all_types) ctxt
    1.10  
    1.11  val indent_size = 2
    1.12