CVS difference for ai22s/ai22-0023-1.txt

--- ai22s/ai22-0023-1.txt	2022/02/05 05:28:46	1.3
+++ ai22s/ai22-0023-1.txt	2022/04/29 05:49:49	1.4
@@ -242,9 +242,11 @@
 call. This permission applies even if the subprogram produces other side
 effects when called.
 @dby
-In addition, the implementation may omit a call on such a subprogram and 
-simply reuse the results produced by an earlier call on the same subprogram,
-provided that:
+If a library unit is declared pure, then the implementation is permitted to 
+omit a call on a library-level subprogram of the library unit if the results 
+are not needed after the call. In addition, the implementation may omit a call
+on such a subprogram and simply reuse the results produced by an earlier call
+on the same subprogram, provided that:
 @xbullet<none of the parameters nor any object accessible via access values
 from the parameters have any part that is of a type whose full type is an 
 immutably limited type; and>