Changes by: David Noblet (dnoblet at cs.caltech.edu)
Date: 2005-09-15 18:40:29 -0700 (Thu, 15 Sep 2005)
Revision: 2024
Log message:

      Fixed a couple of bugs related to failure detection.
      

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