| changeset 55708 | f4b114070675 |
| parent 55698 | e42e5671612c |
| child 55745 | b865c3035d5c |
--- a/src/Pure/Isar/args.ML Mon Feb 24 00:04:48 2014 +0100 +++ b/src/Pure/Isar/args.ML Mon Feb 24 10:17:29 2014 +0100 @@ -191,7 +191,7 @@ fun named_attribute att = internal_attribute || - named >> evaluate Token.Attribute (fn tok => att (Token.content_of tok, Token.position_of tok)); + named >> evaluate Token.Attribute (fn tok => att (Token.content_of tok, Token.pos_of tok)); (* terms and types *)