src/Pure/ROOT.ML
changeset 26629 6e93fbd4c96a
parent 26279 e8440c90c474
child 27254 0f8106808e66
     1.1 --- a/src/Pure/ROOT.ML	Sat Apr 12 17:00:40 2008 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Sat Apr 12 17:00:42 2008 +0200
     1.3 @@ -34,7 +34,6 @@
     1.4  use "type.ML";
     1.5  use "type_infer.ML";
     1.6  use "config.ML";
     1.7 -use "compress.ML";
     1.8  
     1.9  (*inner syntax module*)
    1.10  use "Syntax/ast.ML";