src/Pure/ROOT.ML
changeset 24574 e840872e9c7c
parent 24455 cd8e14100c00
child 24664 4195de64fdb1
     1.1 --- a/src/Pure/ROOT.ML	Fri Sep 14 15:27:12 2007 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Fri Sep 14 17:02:34 2007 +0200
     1.3 @@ -44,7 +44,7 @@
     1.4  use "Syntax/printer.ML";
     1.5  use "Syntax/syntax.ML";
     1.6  
     1.7 -use "General/ml_syntax.ML";
     1.8 +use "ML/ml_syntax.ML";
     1.9  
    1.10  (*core of tactical proof system*)
    1.11  use "envir.ML";