CVS difference for ais/ai-20302.txt

--- ais/ai-20302.txt	2004/10/05 22:49:23	1.10
+++ ais/ai-20302.txt	2004/11/02 01:50:33	1.11
@@ -2222,7 +2222,7 @@
 
 function "=" (Left, Right : Map) return Boolean;
 
-If Left and Right denote the same map Map object, then the function returns
+If Left and Right denote the same map object, then the function returns
 immediately the value True. If Left and Right have different lengths, then the
 function returns the value False. Otherwise, for each key K in Left, the
 function returns False if: