src/Pure/ROOT.ML
changeset 42284 326f57825e1a
parent 42264 b6c1b0c4c511
child 42288 2074b31650e6
     1.1 --- a/src/Pure/ROOT.ML	Fri Apr 08 11:39:45 2011 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Fri Apr 08 13:31:16 2011 +0200
     1.3 @@ -124,7 +124,7 @@
     1.4  use "Syntax/ast.ML";
     1.5  use "Syntax/syn_ext.ML";
     1.6  use "Syntax/parser.ML";
     1.7 -use "Syntax/syn_trans.ML";
     1.8 +use "Syntax/syntax_trans.ML";
     1.9  use "Syntax/mixfix.ML";
    1.10  use "Syntax/printer.ML";
    1.11  use "Syntax/syntax.ML";