CVS difference for ai05s/ai05-0054-2.txt

--- ai05s/ai05-0054-2.txt	2009/06/26 01:49:35	1.8
+++ ai05s/ai05-0054-2.txt	2012/03/27 01:55:18	1.9
@@ -112,9 +112,9 @@
 We use the phrase "*originate* from an attribute_reference applied to
 a variable view" to allow for possible type conversions after
 the initial '[Unchecked_]Access that created the access-to-variable 
-value.  Hopefully that is clear enough.  The key thing is that
+value. Hopefully that is clear enough. The key thing is that
 you have to have a variable view at some point, or else somebody
-cheated.  Moreover, we require that variable view to be aliased
+cheated. Moreover, we require that variable view to be aliased
 and originate from a controlled or immutably limited type, so that
 uses of 'Address and uses of Address_to_Access_Conversions are
 excluded from the exception (thus modifying a non-limited untagged
@@ -185,6 +185,10 @@
 
 There should be C-Tests that an access-to-variable view of a constant object
 works properly.
+
+!ASIS
+
+No change needed.
 
 !appendix