src/Pure/display.ML
changeset 4256 e768c42069bb
parent 4250 3806a00677ff
child 4270 957c887b89b5
     1.1 --- a/src/Pure/display.ML	Thu Nov 20 15:07:19 1997 +0100
     1.2 +++ b/src/Pure/display.ML	Thu Nov 20 15:28:48 1997 +0100
     1.3 @@ -153,7 +153,7 @@
     1.4      val consts = sort_wrt fst (map (apfst ext_const) (Symtab.dest const_tab));
     1.5    in
     1.6      Pretty.writeln (Pretty.strs ("stamps:" :: Sign.stamp_names_of sg));
     1.7 -    Pretty.writeln (Pretty.strs ("data:" :: Data.kinds data));
     1.8 +    Pretty.writeln (Pretty.strs ("data:" :: Sign.data_kinds data));
     1.9      Pretty.writeln (Pretty.strs ["name entry path:", NameSpace.pack path]);
    1.10      Pretty.writeln (Pretty.big_list "name spaces:" (map pretty_space spaces'));
    1.11      Pretty.writeln (pretty_classes classes);