src/Pure/compress.ML

--- a/src/Pure/compress.ML	Fri Sep 15 22:56:08 2006 +0200
+++ b/src/Pure/compress.ML	Fri Sep 15 22:56:13 2006 +0200
@@ -61,6 +61,6 @@
           (case Termtab.lookup (! terms) t of
             SOME t' => t'
           | NONE => (change terms (Termtab.update (t, t)); t));
-  in compress o map_term_types (typ thy) end;
+  in compress o map_types (typ thy) end;
 
 end;