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

Differences between 1.4 and version 1.5
Log of other versions for file ai12s/ai12-0254-1.txt

--- ai12s/ai12-0254-1.txt	2018/03/06 23:36:05	1.4
+++ ai12s/ai12-0254-1.txt	2018/03/09 03:05:49	1.5
@@ -229,7 +229,7 @@
 @xcode<   @b<with> System.Storage_Elements; @b<use> System.Storage_Elements;>
 @xbullet<An additional generic parameter follows Element_Type:>
-@xcode<   Max_Element_Size_in_Storage_Elements : Storage_Elements.Storage_Count;>
+@xcode<   Max_Element_Size_in_Storage_Elements : Storage_Count;>
 @xbullet<Add to the precondition of To_Holder and Replace_Element:>
@@ -237,7 +237,7 @@
                 Max_Element_Size_in_Storage_Elements * System.Storage_Unit
              @b<then raise> Program_Error)>
-@s8<@i<Bounded (Run-time) Errors>>
+@s8<@i<Bounded (Run-Time) Errors>>
 It is a bounded error to assign from a bounded holder object while tampering
 with elements of that object is prohibited. Either Program_Error is raised by

Questions? Ask the ACAA Technical Agent