--- 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";