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

--- ai05s/ai05-0191-1.txt	2011/01/17 07:00:31	1.8
+++ ai05s/ai05-0191-1.txt	2011/03/17 07:06:30	1.9
@@ -161,7 +161,7 @@
 
 !example
 
-   procedure Cnt (A: in out Arrtype; B : in Arrtype) with
+   procedure Count (A: in out Arrtype; B : in Arrtype) with
       Pre => not A'Overlaps_Storage(B)
    is
      -- intended to count in A the number of value occurrences in B
@@ -170,7 +170,7 @@
       for I in B'range loop
          A(B(I)) := A(B(I)) + 1;
       end loop;
-   end Cnt;
+   end Count;
 
 !corrigendum 13.03(9/1)