| changeset 56436 | 30ccec1e82fb |
| parent 56334 | 6b3739fee456 |
| child 56438 | 7f6b2634d853 |
--- a/src/Pure/Isar/attrib.ML Sun Apr 06 15:38:54 2014 +0200 +++ b/src/Pure/Isar/attrib.ML Sun Apr 06 15:43:45 2014 +0200 @@ -190,7 +190,8 @@ fun internal att = Args.src ("Pure.attribute", Position.none) [Token.mk_attribute att]; val _ = Theory.setup - (setup (Binding.name "attribute") (Scan.lift Args.internal_attribute >> Morphism.form) + (setup (Binding.make ("attribute", @{here})) + (Scan.lift Args.internal_attribute >> Morphism.form) "internal attribute");