src/Pure/Thy/term_style.ML

--- a/src/Pure/Thy/term_style.ML	Tue Mar 18 11:13:38 2014 +0100
+++ b/src/Pure/Thy/term_style.ML	Tue Mar 18 11:27:09 2014 +0100
@@ -33,7 +33,7 @@
 (* style parsing *)
 
 fun parse_single ctxt =
-  Parse.position Parse.xname -- Args.parse >> (fn (name, args) =>
+  Parse.position Parse.xname -- Parse.args >> (fn (name, args) =>
     let
       val (src, parse) = Args.check_src ctxt (get_data ctxt) (Args.src name args);
       val (f, _) = Args.syntax (Scan.lift parse) src ctxt;