--- ai05s/ai05-0189-1.txt 2010/11/13 03:37:45 1.6 +++ ai05s/ai05-0189-1.txt 2010/11/18 07:07:35 1.7 @@ -101,6 +101,11 @@ ACATS B and C tests are needed. +!ASIS + +There is no effect on ASIS; ASIS doesn't do anything special for restrictions +(they're just pragma parameters). + !appendix From: Tucker Taft