| changeset 61819 | 7e020220561a |
| parent 61816 | 93d0af296c2f |
| child 61851 | ccf2df82b2d3 |
--- a/src/Pure/Isar/attrib.ML Wed Dec 09 20:21:13 2015 +0100 +++ b/src/Pure/Isar/attrib.ML Wed Dec 09 20:58:09 2015 +0100 @@ -242,7 +242,7 @@ fun internal att = Token.make_src ("Pure.attribute", Position.none) - [Token.make_value "<attribute>" (Token.Attribute att)]; + [Token.make_string ("<attribute>", Position.none) |> Token.assign (SOME (Token.Attribute att))]; val _ = Theory.setup (setup (Binding.make ("attribute", @{here}))