Changes by: dnoblet (dnoblet at unknown.email)
Date: 2005-08-30 17:04:47 -0700 (Tue, 30 Aug 2005)
Revision: 1951
Log message:

      Fixed bug in HasCollectedAllViewChangeAcks; forgot to add the subscript to InitiateViewChangeAcks.
      

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