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

--- ai05s/ai05-0021-1.txt	2006/12/16 03:13:18	1.2
+++ ai05s/ai05-0021-1.txt	2007/01/19 04:00:06	1.3
@@ -76,7 +76,7 @@
 
 (2) All of the Query_Element routines have this problem.
 
-(3) with this change, Merge raises Program_Error in precisely those cases where the
+(3) With this change, Merge raises Program_Error in precisely those cases where the
 invariant on the result cannot be preserved. (It's not possible for a single
 object to be empty and non-empty at the same time.) The case in question (merging
 with yourself) is weird enough it is not worthwhile to make programmers worry about