CVS difference for ai12s/ai12-0111-1.txt

Differences between 1.21 and version 1.22
Log of other versions for file ai12s/ai12-0111-1.txt

--- ai12s/ai12-0111-1.txt	2019/02/21 05:29:33	1.21
+++ ai12s/ai12-0111-1.txt	2019/06/11 04:13:53	1.22
@@ -810,7 +810,7 @@
      not needed for a stable view.
 
    The operations of this package are equivalent to those for regular
-   maps, except that no tampering checks are performed on 
+   trees, except that no tampering checks are performed on 
    stable trees. If a stable tree is declared with the Base discriminant
    designating a pre-existing regular tree, the stable tree represents a
    stabilized view of the underlying regular tree, and any operation
@@ -1009,7 +1009,7 @@
 by the finalization of @i<V>, as well as by a call that passes @i<V> to 
 certain of the operations of this package, as indicated by the precondition 
 of such an operation. Similarly, when tampering with elements is @i<prohibited>
-for @i<V>, Program_Error is by a call that passes @i<V> to 
+for @i<V>, Program_Error is propagated by a call that passes @i<V> to 
 certain of other operations of this package, as indicated by the precondition 
 of such an operation.
 

Questions? Ask the ACAA Technical Agent