CVS difference for ai05s/ai05-0191-1.txt

--- ai05s/ai05-0191-1.txt	2011/03/17 07:06:30	1.9
+++ ai05s/ai05-0191-1.txt	2011/10/21 06:42:22	1.10
@@ -49,7 +49,7 @@
 
 X'Has_Same_Storage denotes a function with the following specification:
 
-function X'Has_Same_Storage(@i(A : any_type)) return Boolean;
+function X'Has_Same_Storage(@i(Arg : any_type)) return Boolean;
 
 The actual parameter shall be a name that denotes an object. The object denoted
 by the actual parameter can be of any type.  This function evaluates the names
@@ -198,7 +198,7 @@
 @xhang<@xterm<X'Has_Same_Storage>
 X'Has_Same_Storage denotes a function with the following specification:>
 
-@xcode<        @b<function> X'Has_Same_Storage (@i<X> : @i<any_type>)
+@xcode<        @b<function> X'Has_Same_Storage (@i<Arg> : @i<any_type>)
              @b<return> Boolean>
 
 @xindent<The actual parameter shall be a name that denotes an object. The object denoted
@@ -212,7 +212,7 @@
 @xhang<@xterm<X'Overlaps_Storage>
 X'Overlaps_Storage denotes a function with the following specification:>
 
-@xcode<        @b<function> X'Overlaps_Storage (@i<X> : @i<any_type>)
+@xcode<        @b<function> X'Overlaps_Storage (@i<Arg> : @i<any_type>)
              @b<return> Boolean>
 
 @xindent<The actual parameter shall be a name that denotes an object. The object denoted