src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Fri Apr 08 14:20:57 2011 +0200
+++ b/src/Pure/ROOT.ML	Fri Apr 08 15:02:11 2011 +0200
@@ -122,7 +122,7 @@
 use "Syntax/lexicon.ML";
 use "Syntax/simple_syntax.ML";
 use "Syntax/ast.ML";
-use "Syntax/syn_ext.ML";
+use "Syntax/syntax_ext.ML";
 use "Syntax/parser.ML";
 use "Syntax/syntax_trans.ML";
 use "Syntax/mixfix.ML";