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

[markm@eros.cs.jhu.edu]

markm       01/11/07 12:42:16

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

Revision  Changes    Path
1.8       +1 -1      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.7
retrieving revision 1.8
diff -u -r1.7 -r1.8
--- after-both.html	2001/11/07 17:40:10	1.7
+++ after-both.html	2001/11/07 17:42:16	1.8
@@ -141,7 +141,7 @@
       </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 become BROKEN.</p>
+        <i>c</i> must eventually resolve to 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