changeset 64556 | 851ae0e7b09c |
parent 63352 | 4eaf35781b23 |
child 67147 | dea94b1aabc3 |
--- a/src/Pure/Isar/attrib.ML Mon Dec 12 17:40:06 2016 +0100 +++ b/src/Pure/Isar/attrib.ML Tue Dec 13 11:51:42 2016 +0100 @@ -216,7 +216,7 @@ (* internal attribute *) val _ = Theory.setup - (setup (Binding.make ("attribute", @{here})) + (setup (Binding.make ("attribute", \<^here>)) (Scan.lift Args.internal_attribute >> Morphism.form) "internal attribute");