--- ai05s/ai05-0082-1.txt 2008/11/27 00:12:21 1.5 +++ ai05s/ai05-0082-1.txt 2012/03/27 01:55:19 1.6 @@ -127,6 +127,10 @@ Check that examples like the ones given here are legal, and that the checks are made on runtime (or in the instance) when necessary. +!ASIS + +No change needed. + !appendix !topic Accessibility level of generic formal type extension