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

--- ai05s/ai05-0126-1.txt	2010/06/14 01:24:49	1.5
+++ ai05s/ai05-0126-1.txt	2011/11/01 05:32:51	1.6
@@ -125,7 +125,7 @@
 the specific type identified by the controlling tag value:
 
 @xbullet<if the corresponding operation is explicitly declared for this type,
-Redundant:[even if the declaration occurs in a private part], then the action
+even if the declaration occurs in a private part, then the action
 comprises an invocation of the explicit body for the operation;>
 
 !corrigendum 3.9.2(20.1/2)