src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Wed Jun 18 18:55:10 2008 +0200
+++ b/src/Pure/ROOT.ML	Wed Jun 18 22:32:01 2008 +0200
@@ -32,7 +32,6 @@
 use "context.ML";
 use "sorts.ML";
 use "type.ML";
-use "type_infer.ML";
 use "config.ML";
 
 (*inner syntax module*)
@@ -45,6 +44,7 @@
 use "Syntax/printer.ML";
 use "Syntax/syntax.ML";
 
+use "type_infer.ML";
 use "ML/ml_syntax.ML";
 
 (*core of tactical proof system*)