src/Pure/Isar/isar_syn.ML
changeset 36951 985c197f2fe9
parent 36950 75b8f26f2f07
child 36952 338c3f8229e4
     1.1 --- a/src/Pure/Isar/isar_syn.ML	Sat May 15 23:16:32 2010 +0200
     1.2 +++ b/src/Pure/Isar/isar_syn.ML	Sat May 15 23:23:45 2010 +0200
     1.3 @@ -773,7 +773,7 @@
     1.4  (* nested commands *)
     1.5  
     1.6  val props_text =
     1.7 -  Scan.optional ValueParse.properties [] -- Parse.position Parse.string
     1.8 +  Scan.optional Parse_Value.properties [] -- Parse.position Parse.string
     1.9    >> (fn (props, (str, pos)) =>
    1.10        (Position.of_properties (Position.default_properties pos props), str));
    1.11