CVS difference for ai12s/ai12-0111-1.txt
--- ai12s/ai12-0111-1.txt 2018/10/19 05:03:36 1.16
+++ ai12s/ai12-0111-1.txt 2018/10/19 05:59:54 1.17
@@ -4325,7 +4325,7 @@
(4) For Maps and Sets, moved the definition of the Stable package to the
shared part (it's the same for both kinds).
-(5) The definition of stablized views had sentences in two different
+(5) The definition of stabilized views had sentences in two different
paragraphs saying that tampering is prohibited. Once is enough, I eliminated
the extra one. (They even both started with "While a stabilized view
@@ -4401,13 +4401,13 @@
change, but that is already possible for any parameter of a mutable record
type, and that case is covered by an erroneous execution rule in 3.7.2.
-We'd also have to add a rule for stablized views to the same bounded
+We'd also have to add a rule for stabilized views to the same bounded
* While a stabilized view exists, any operation that tampers with cursors
performed on the underlying tree is prohibited.
-since the prinary goal is to make stable views safe for all operations without
+since the primary goal is to make stable views safe for all operations without
checks, and tampering checks are still needed for bounded containers to
prevent iteration from going off into the weeds.
Questions? Ask the ACAA Technical Agent