src/Pure/ROOT.ML
changeset 37145 01aa36932739
parent 36961 7b14afc02fc4
child 37146 f652333bbf8e
     1.1 --- a/src/Pure/ROOT.ML	Thu May 27 15:28:23 2010 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Thu May 27 17:41:27 2010 +0200
     1.3 @@ -309,6 +309,7 @@
     1.4  structure OuterParse = Parse;
     1.5  structure OuterSyntax = Outer_Syntax;
     1.6  structure SpecParse = Parse_Spec;
     1.7 +structure TypeInfer = Type_Infer;
     1.8  
     1.9  end;
    1.10