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

--- ai12s/ai12-0112-1.txt	2020/03/16 03:37:14	1.24
+++ ai12s/ai12-0112-1.txt	2020/04/22 01:00:05	1.25
@@ -2039,7 +2039,7 @@
 corresponding element in Right using the generic formal equality operator. 
 If any such comparison returns False, the function returns False; otherwise,
 it returns True. Any exception raised during evaluation of element equality is 
-propagated.
+propagated.>
 @dinss
 @xcode<@b<function> Tampering_With_Cursors_Prohibited
    (Container : Vector) @b<return> Boolean