1.1 --- a/src/HOL/Tools/Nitpick/nitpick_model.ML	Thu Oct 29 15:23:25 2009 +0100
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick_model.ML	Thu Oct 29 15:24:52 2009 +0100
     1.3 @@ -588,8 +588,7 @@
     1.4                     |> term_for_rep T T' (rep_of name)
     1.5        in
     1.6          Pretty.block (Pretty.breaks
     1.7 -            [(setmp_CRITICAL show_question_marks false o setmp_show_all_types)
     1.8 -                 (Syntax.pretty_term ctxt) t1,
     1.9 +            [setmp_show_all_types (Syntax.pretty_term ctxt) t1,
    1.10               Pretty.str oper, Syntax.pretty_term ctxt t2])
    1.11        end
    1.12      (* dtype_spec -> Pretty.T *)