diff -r dac4e2bce00d -r 9283b4185fdf src/Pure/compress.ML
--- a/src/Pure/compress.ML	Fri Mar 28 19:43:54 2008 +0100
+++ b/src/Pure/compress.ML	Fri Mar 28 20:02:04 2008 +0100
@@ -30,7 +30,7 @@
     ref (Termtab.merge (K true) (terms1, terms2)));
 );
 
-val _ = Context.>> CompressData.init;
+val _ = Context.>> (Context.map_theory CompressData.init);
 
 
 (* compress types *)