--- ai05s/ai05-0290-1.txt 2012/03/20 06:14:57 1.7 +++ ai05s/ai05-0290-1.txt 2012/03/27 01:55:21 1.8 @@ -739,7 +739,8 @@ !ASIS -No change needed. +** TBD: Some change to pragma processing probably will be needed to account for the +'Class possibility in aspect_marks. !appendix