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

--- ai12s/ai12-0112-1.txt	2018/03/30 05:52:07	1.5
+++ ai12s/ai12-0112-1.txt	2018/04/14 05:01:05	1.6
@@ -1079,15 +1079,14 @@
                  then raise Program_Error),
         Post => (if Position = No_Element then Next'Result = No_Element
                  elsif Has_Element (Container, Next'Result) then True
-                 else Next'Result = No_Element and then
-                      Position'Old = Last (Container)),
+                 elsif Next'Result = No_Element then
+                      Position = Last (Container)
+                 else To_Index (Container, Next'Result) = 
+                      To_Index (Container, Position) + 1),
         Global => null,
         Nonblocking => True;
 New
-If Position equals No_Element or designates the last element of Container,
-then Next returns the value No_Element. Otherwise, it returns a cursor that
-designates the element with index To_Index (Position) + 1 in the same vector as
-Position.
+Returns a cursor designating the next element in the Container, if any.
 
 209/2+
 procedure Next (Position : in out Cursor)
@@ -1127,15 +1126,14 @@
                  then raise Program_Error),
         Post => (if Position = No_Element then Previous'Result = No_Element
                  elsif Has_Element (Container, Previous'Result) then True
-                 else Previous'Result = No_Element and then
-                      Position'Old = First (Container)),
+                 elsif Next'Result = No_Element then
+                      Position = First (Container)
+                 else To_Index (Container, Next'Result) = 
+                      To_Index (Container, Position) - 1),
         Global => null,
         Nonblocking => True;
 New
-If Position equals No_Element or designates the first element of the container,
-then Previous returns the value No_Element. Otherwise, it returns a cursor that
-designates the element with index To_Index (Position) – 1 in the same vector as
-Position.
+Returns a cursor designating the previous element in the Container, if any.
 
 213/2+
 procedure Previous (Position : in out Cursor)