--- a/src/Pure/ROOT.ML Sat May 15 23:16:32 2010 +0200
+++ b/src/Pure/ROOT.ML Sat May 15 23:23:45 2010 +0200
@@ -170,7 +170,7 @@
use "Isar/outer_lex.ML";
use "Isar/keyword.ML";
use "Isar/parse.ML";
-use "Isar/value_parse.ML";
+use "Isar/parse_value.ML";
use "Isar/args.ML";
(*ML support*)