src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Fri Sep 14 15:27:12 2007 +0200
+++ b/src/Pure/ROOT.ML	Fri Sep 14 17:02:34 2007 +0200
@@ -44,7 +44,7 @@
 use "Syntax/printer.ML";
 use "Syntax/syntax.ML";
 
-use "General/ml_syntax.ML";
+use "ML/ml_syntax.ML";
 
 (*core of tactical proof system*)
 use "envir.ML";