src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Mon Aug 01 19:20:33 2005 +0200
+++ b/src/Pure/ROOT.ML	Mon Aug 01 19:20:34 2005 +0200
@@ -23,6 +23,7 @@
 use "sorts.ML";
 use "type.ML";
 use "context.ML";
+use "compress.ML";
 
 (*inner syntax module*)
 cd "Syntax"; use "ROOT.ML"; cd "..";