src/Pure/ROOT.ML
changeset 36951 985c197f2fe9
parent 36949 080e85d46108
child 36952 338c3f8229e4
     1.1 --- a/src/Pure/ROOT.ML	Sat May 15 23:16:32 2010 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Sat May 15 23:23:45 2010 +0200
     1.3 @@ -170,7 +170,7 @@
     1.4  use "Isar/outer_lex.ML";
     1.5  use "Isar/keyword.ML";
     1.6  use "Isar/parse.ML";
     1.7 -use "Isar/value_parse.ML";
     1.8 +use "Isar/parse_value.ML";
     1.9  use "Isar/args.ML";
    1.10  
    1.11  (*ML support*)