src/Pure/Thy/term_style.ML
changeset 56201 dd2df97b379b
parent 56032 b034b9f0fa2a
child 56203 76c72f4d0667
     1.1 --- a/src/Pure/Thy/term_style.ML	Tue Mar 18 11:13:38 2014 +0100
     1.2 +++ b/src/Pure/Thy/term_style.ML	Tue Mar 18 11:27:09 2014 +0100
     1.3 @@ -33,7 +33,7 @@
     1.4  (* style parsing *)
     1.5  
     1.6  fun parse_single ctxt =
     1.7 -  Parse.position Parse.xname -- Args.parse >> (fn (name, args) =>
     1.8 +  Parse.position Parse.xname -- Parse.args >> (fn (name, args) =>
     1.9      let
    1.10        val (src, parse) = Args.check_src ctxt (get_data ctxt) (Args.src name args);
    1.11        val (f, _) = Args.syntax (Scan.lift parse) src ctxt;