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

--- ai12s/ai12-0339-1.txt	2019/11/09 04:57:41	1.5
+++ ai12s/ai12-0339-1.txt	2020/04/22 01:00:06	1.6
@@ -516,7 +516,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.>
 @dinst
 @xcode<@b<function> Empty (Capacity : Count_Type := @ft<@i<implementation-defined>>)
    @b<return> Vector