--- ai05s/ai05-0269-1.txt 2012/03/16 06:12:45 1.9 +++ ai05s/ai05-0269-1.txt 2012/03/27 01:55:21 1.10 @@ -1382,6 +1382,7 @@ @xbullet<The corresponding specific type shall not have a primitive procedure with the Synchronization aspect specified unless the @fa<synchronization_kind> is Optional (see 9.5);> + !ACATS Test None needed.