CVS difference for ais/ai-00190.txt

Differences between 1.8 and version 1.9
Log of other versions for file ais/ai-00190.txt

--- ais/ai-00190.txt	1999/09/16 20:40:30	1.8
+++ ais/ai-00190.txt	1999/10/08 23:41:06	1.9
@@ -1,4 +1,4 @@
-!standard 13.12   (09)                               99-09-15  AI95-00190/04
+!standard 13.12   (09)                               99-10-08  AI95-00190/05
 !standard D.7 (15)
 !class binding interpretation 98-10-09
 !status Corrigendum 2000 99-07-27
@@ -62,8 +62,7 @@
 implementation defined.
 @dinst
 Whenever enforcement of a restriction is not required prior to
-execution, but left to implementation-defined behavior of dynamic
-semantics, an implementation may enforce the restriction prior to
+execution, an implementation may nevertheless enforce the restriction prior to
 execution of a partition to which the restriction applies, provided
 that every execution of the partition would violate the restriction.
 

Questions? Ask the ACAA Technical Agent