changeset 33571 | 3655e51f9958 |
parent 33565 | 5fad8e36dfb1 |
child 33580 | 45c33e97cb86 |
--- a/src/HOL/Tools/Nitpick/nitpick_model.ML Thu Oct 29 15:23:25 2009 +0100 +++ b/src/HOL/Tools/Nitpick/nitpick_model.ML Thu Oct 29 15:24:52 2009 +0100 @@ -588,8 +588,7 @@ |> term_for_rep T T' (rep_of name) in Pretty.block (Pretty.breaks - [(setmp_CRITICAL show_question_marks false o setmp_show_all_types) - (Syntax.pretty_term ctxt) t1, + [setmp_show_all_types (Syntax.pretty_term ctxt) t1, Pretty.str oper, Syntax.pretty_term ctxt t2]) end (* dtype_spec -> Pretty.T *)