src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Sat May 15 23:23:45 2010 +0200
+++ b/src/Pure/ROOT.ML	Sat May 15 23:32:15 2010 +0200
@@ -220,7 +220,7 @@
 use "Isar/code.ML";
 
 (*specifications*)
-use "Isar/spec_parse.ML";
+use "Isar/parse_spec.ML";
 use "Isar/spec_rules.ML";
 use "Isar/specification.ML";
 use "Isar/typedecl.ML";