src/Pure/Isar/parse_spec.ML

--- a/src/Pure/Isar/parse_spec.ML	Tue Mar 18 11:13:38 2014 +0100
+++ b/src/Pure/Isar/parse_spec.ML	Tue Mar 18 11:27:09 2014 +0100
@@ -37,7 +37,7 @@
 
 (* theorem specifications *)
 
-val attrib = Parse.position Parse.liberal_name -- Parse.!!! Args.parse >> uncurry Args.src;
+val attrib = Parse.position Parse.liberal_name -- Parse.!!! Parse.args >> uncurry Args.src;
 val attribs = Parse.$$$ "[" |-- Parse.list attrib --| Parse.$$$ "]";
 val opt_attribs = Scan.optional attribs [];