Changes by: David Noblet (dnoblet at cs.caltech.edu)
Date: 2005-09-18 23:21:08 -0700 (Sun, 18 Sep 2005)
Revision: 2031
Log message:

      Fixed local sequence number reset conditions.
      

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