Changes by: David Noblet (dnoblet at cs.caltech.edu)
Date: 2005-09-19 15:25:53 -0700 (Mon, 19 Sep 2005)
Revision: 7723
Log message:

      Small fix to prevent a case where the dection of a failure could be forgotten.
      
      

Changes	Path
+1 -1	mojavefs/shmem/model/gc/view_change/tla/ViewChange.tla