Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-10-06 07:09:39 -0700 (Sat, 06 Oct 2001)
Revision: 3420
Log message:

      Yesterday's commit was missing a fix to the mc .prla
      

Changes	Path
+4 -6	metaprl/theories/mc/fir_type_state.prla