src/Pure/sign.ML
changeset 2672 85d7e800d754
parent 2586 c7a0c0618ca0
child 2693 8300bba275e3
     1.1 --- a/src/Pure/sign.ML	Fri Feb 21 15:30:41 1997 +0100
     1.2 +++ b/src/Pure/sign.ML	Fri Feb 21 15:31:47 1997 +0100
     1.3 @@ -197,7 +197,7 @@
     1.4      Pretty.writeln (Pretty.big_list "types:" (map pretty_ty tycons));
     1.5      Pretty.writeln (Pretty.big_list "abbrs:" (map (pretty_abbr syn) abbrs));
     1.6      Pretty.writeln (Pretty.big_list "arities:"
     1.7 -                      (flat (map pretty_arities arities)));
     1.8 +                      (List.concat (map pretty_arities arities)));
     1.9      Pretty.writeln (Pretty.big_list "consts:"
    1.10                        (map (pretty_const syn) (Symtab.dest const_tab)))
    1.11    end;