--- ai05s/ai05-0024-1.txt 2008/11/27 00:01:29 1.11 +++ ai05s/ai05-0024-1.txt 2013/10/22 03:00:23 1.12 @@ -293,6 +293,10 @@ elaboration of the master that elaborated the function body. If this check fails, Program_Error is raised. +!ASIS + +No ASIS impact. + !ACATS test