src/HOL/Tools/Nitpick/nitpick_model.ML
changeset 39118 12f3788be67b
parent 38864 4abe644fcea5
child 39345 062c10ff848c
     1.1 --- a/src/HOL/Tools/Nitpick/nitpick_model.ML	Fri Sep 03 16:36:33 2010 +0200
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick_model.ML	Fri Sep 03 17:43:44 2010 +0200
     1.3 @@ -949,7 +949,7 @@
     1.4                                     T T' (rep_of name)
     1.5        in
     1.6          Pretty.block (Pretty.breaks
     1.7 -            [setmp_show_all_types (Syntax.pretty_term ctxt) t1,
     1.8 +            [Syntax.pretty_term (set_show_all_types ctxt) t1,
     1.9               Pretty.str oper, Syntax.pretty_term ctxt t2])
    1.10        end
    1.11      fun pretty_for_datatype ({typ, card, complete, ...} : datatype_spec) =