src/Pure/display.ML

--- a/src/Pure/display.ML	Thu Nov 20 15:07:19 1997 +0100
+++ b/src/Pure/display.ML	Thu Nov 20 15:28:48 1997 +0100
@@ -153,7 +153,7 @@
     val consts = sort_wrt fst (map (apfst ext_const) (Symtab.dest const_tab));
   in
     Pretty.writeln (Pretty.strs ("stamps:" :: Sign.stamp_names_of sg));
-    Pretty.writeln (Pretty.strs ("data:" :: Data.kinds data));
+    Pretty.writeln (Pretty.strs ("data:" :: Sign.data_kinds data));
     Pretty.writeln (Pretty.strs ["name entry path:", NameSpace.pack path]);
     Pretty.writeln (Pretty.big_list "name spaces:" (map pretty_space spaces'));
     Pretty.writeln (pretty_classes classes);