src/Pure/ROOT.ML
changeset 23353 3069dade3eb4
parent 22904 de2d630e1548
child 23670 681ffad36776
     1.1 --- a/src/Pure/ROOT.ML	Wed Jun 13 00:01:54 2007 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Wed Jun 13 00:01:56 2007 +0200
     1.3 @@ -28,6 +28,7 @@
     1.4  use "sorts.ML";
     1.5  use "type.ML";
     1.6  use "context.ML";
     1.7 +use "context_position.ML";
     1.8  use "compress.ML";
     1.9  use "type_infer.ML";
    1.10