--- ais/ai-00237.txt 2003/09/18 22:42:53 1.13 +++ ais/ai-00237.txt 2003/10/29 22:54:09 1.14 @@ -148,7 +148,7 @@ corresponding attribute of each task is finalized, unless it has been finalized earlier. -!corrigendum C.7.2(15.1/1): +!corrigendum C.7.2(15.1/1) @drepl Accesses to task attributes via a value of type Attribute_Handle are