# HG changeset patch
# User wenzelm
# Date 1122916841 -7200
# Node ID 9ed901d738baf3acd4f7d146d73e5b807408d34f
# Parent  68bc6dbea7d6a4b7e4bffafcc55843d5cacc4b74
Compress.init_data;

diff -r 68bc6dbea7d6 -r 9ed901d738ba src/Pure/pure_thy.ML
--- a/src/Pure/pure_thy.ML	Mon Aug 01 19:20:40 2005 +0200
+++ b/src/Pure/pure_thy.ML	Mon Aug 01 19:20:41 2005 +0200
@@ -451,6 +451,7 @@
 
 val proto_pure =
   Context.pre_pure_thy
+  |> Compress.init_data
   |> Sign.init_data
   |> Theory.init_data
   |> Proofterm.init_data