1.1 --- a/src/Pure/Isar/attrib.ML	Sat Jul 28 20:40:26 2007 +0200
     1.2 +++ b/src/Pure/Isar/attrib.ML	Sat Jul 28 20:40:27 2007 +0200
     1.3 @@ -204,14 +204,14 @@
     1.4    | scan_value (ConfigOption.String _) = (equals |-- Args.name) >> ConfigOption.String;
     1.5  
     1.6  fun scan_config x =
     1.7 -  ((Args.name >> ConfigOption.the_option) :-- (fn (config, config_type) =>
     1.8 +  ((Args.name >> ConfigOption.the_option) :|-- (fn (config, config_type) =>
     1.9      scan_value config_type >> (fn value =>
    1.10 -      K (Thm.declaration_attribute (K (ConfigOption.put_generic config value))))) >> #2) x;
    1.11 +      K (Thm.declaration_attribute (K (ConfigOption.put_generic config value)))))) x;
    1.12  
    1.13  fun scan_att x =
    1.14    (Args.internal_attribute ||
    1.15 -    (Scan.ahead (scan_config --| Args.terminator) :--
    1.16 -      (fn att => Args.named_attribute (K att))) >> #2) x;
    1.17 +    (Scan.ahead (scan_config --| Args.terminator) :|--
    1.18 +      (fn att => Args.named_attribute (K att)))) x;
    1.19  
    1.20  in
    1.21