Changes by: David Noblet (dnoblet at cs.caltech.edu)
Date: 2005-09-16 11:48:23 -0700 (Fri, 16 Sep 2005)
Revision: 2028
Log message:

      Just a couple of minor fixes to get rid of some warnings.
      
      

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