src/Pure/ROOT.ML
changeset 24574 e840872e9c7c
parent 24455 cd8e14100c00
child 24664 4195de64fdb1
--- 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";