--- ai05s/ai05-0241-1.txt 2011/04/22 02:50:58 1.7 +++ ai05s/ai05-0241-1.txt 2012/01/05 06:19:33 1.8 @@ -129,7 +129,7 @@ @dinst @xhang<@xterm<No_Specification_of_Aspect> Identifies an aspect for which no @fa<aspect_specification>, -@fa<attribute_definition_clause>, or @fa<pragma> is given. +@fa<attribute_definition_clause>, or @fa<pragma> is given.> !corrigendum 13.12.1(7/2)