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

--- ai12s/ai12-0112-1.txt	2019/05/08 02:02:02	1.19
+++ ai12s/ai12-0112-1.txt	2019/05/14 07:05:17	1.20
@@ -2133,7 +2133,28 @@
 @dby
 See the conflict file!!
 
+!corrigendum A.18.5(37.1/3)
 
+@drepl
+@xcode<   @b<function> Iterate (Container : @b<in> Map)
+      @b<return> Map_Iterator_Interfaces.Forward_Iterator'Class;>
+
+@dby
+@xcode<   @b<function> Iterate (Container : @b<in> Map)
+      @b<return> Map_Iterator_Interfaces.Parallel_Iterator'Class
+      @b<with> Post   =@> Tampering_With_Cursors_Prohibited (Container);>
+
+!corrigendum A.18.5(61.1/3)
+
+@drepl
+@xcode<@b<function> Iterate (Container : @b<in> Map)
+   @b<return> Map_Iterator_Interfaces.Forward_Iterator'Class;>
+@dby
+@xcode<@b<function> Iterate (Container : @b<in> Map)
+   @b<return> Map_Iterator_Interfaces.Parallel_Iterator'Class
+   @b<with> Post   =@> Tampering_With_Cursors_Prohibited (Container);>
+
+
 !corrigendum A.18.6(4/3)
 
 @drepl
@@ -2145,6 +2166,26 @@
    @b<pragma> Preelaborable_Initialization(Map);>
 @dby
 See the conflict file!!
+
+!corrigendum A.18.6(51.1/3)
+
+@drepl
+@xcode<   @b<function> Iterate (Container : @b<in> Map)
+      @b<return> Map_Iterator_Interfaces.Reversible_Iterator'Class;>
+@dby
+@xcode<   @b<function> Iterate (Container : @b<in> Map)
+      @b<return> Map_Iterator_Interfaces.Parallel_Reversible_Iterator'Class
+      @b<with> Post   =@> Tampering_With_Cursors_Prohibited (Container);>
+
+!corrigendum A.18.6(94.1/3)
+
+@drepl
+@xcode<@b<function> Iterate (Container : @b<in> Map)
+   @b<return> Map_Iterator_Interfaces.Reversible_Iterator'Class;>
+@dby
+@xcode<@b<function> Iterate (Container : @b<in> Map)
+   @b<return> Map_Iterator_Interfaces.Parallel_Reversible_Iterator'Class
+   @b<with> Post   =@> Tampering_With_Cursors_Prohibited (Container);>
 
 
 !corrigendum A.18.8(3/3)