[e-cvs] cvs commit: e/doc/elib/equality after-both.html

[markm@eros.cs.jhu.edu]

markm       01/11/07 12:40:10

  Modified:    doc/elib/equality after-both.html
  Log:
  fixed phrasing

Revision  Changes    Path
1.7       +3 -3      e/doc/elib/equality/after-both.html

Index: after-both.html
===================================================================
RCS file: /cvs/e/doc/elib/equality/after-both.html,v
retrieving revision 1.6
retrieving revision 1.7
diff -u -r1.6 -r1.7
--- after-both.html	2001/11/07 05:21:12	1.6
+++ after-both.html	2001/11/07 17:40:10	1.7
@@ -141,12 +141,12 @@
       </ul>
       <p>If <i>a</i> and <i>b</i> do not designate the same object, then all the 
         above statements hold except that x() must not be delivered. In addition, 
-        <i>c</i> must eventually resolve to BROKEN.</p>
+        <i>c</i> must eventually become BROKEN.</p>
       <p>Should a partition occur, all the above statements continue to hold anyway, 
         but not in the obvious way. For example, should v() be lost in a partition, 
         never to be delivered, then x() and y() must never be delivered, and both 
-        <i>b</i> and <i>c</i> must eventually resolve to BROKEN, as implied by 
-        &quot;c is a fork of b&quot;.</p>
+        <i>b</i> and <i>c</i> must eventually become BROKEN, as implied by &quot;c 
+        is a fork of b&quot;.</p>
       <!-- #EndEditable --></TD>
     <TD WIDTH="10%">&nbsp;</TD>
   </TR>