--- a/src/Pure/ROOT.ML Thu May 27 15:28:23 2010 +0200
+++ b/src/Pure/ROOT.ML Thu May 27 17:41:27 2010 +0200
@@ -309,6 +309,7 @@
structure OuterParse = Parse;
structure OuterSyntax = Outer_Syntax;
structure SpecParse = Parse_Spec;
+structure TypeInfer = Type_Infer;
end;