CVS difference for ais/ai-00121.txt

--- ais/ai-00121.txt	1999/08/31 22:53:54	1.3
+++ ais/ai-00121.txt	2000/04/14 01:45:07	1.4
@@ -1,4 +1,4 @@
-!standard C.3.1    (07)                               99-08-31  AI95-00121/05
+!standard C.3.1    (07)                               00-04-11  AI95-00121/06
 !standard C.3.1    (12)
 !standard C.3.1    (14)
 !class binding interpretation 96-04-04
@@ -152,10 +152,10 @@
 When a protected object is finalized, for any of its procedures that are
 attached to interrupts, the handler is detached. If the handler was attached by
 a procedure in the Interrupts package or if no user handler was previously
-attached to the interrupt, the default treatment is restored. Otherwise, that
-is, if an Attach_Handler pragma was used and the most recently attached handler
+attached to the interrupt, the default treatment is restored. If an
+Attach_Handler pragma was used and the most recently attached handler
 for the same interrupt is the same as the one that was attached at the time the
-protected object was created, the previous handler is restored.
+protected object was initialized, the previous handler is restored.
 
 !corrigendum C.03.01(14)
 
@@ -167,11 +167,11 @@
 @dinst
 If the handlers for a given interrupt attached via pragma Attach_Handler are
 not attached and detached in a stack-like (LIFO) order, program execution is
-erroneous. In particular, when a protected object is finalized, if any of its
-procedures are attached to interrupts via pragma Attach_Handler, then if the
-most recently attached handler for the same interrupt is not the same as the one
-that was attached at the time the protected object was created, the execution is
-erroneous.
+erroneous. In particular, when a protected object is finalized, the execution
+is erroneous if any of the procedures of the protected object are attached to
+interrupts via pragma Attach_Handler and the most recently attached handler for
+the same interrupt is not the same as the one that was attached at the time the
+protected object was initialized.
 
 !ACATS test