Changes by: dnoblet (dnoblet at unknown.email)
Date: 2005-09-07 17:19:53 -0700 (Wed, 07 Sep 2005)
Revision: 1954
Log message:

      Minor fix to module name so the model checker won't complain.
      

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