Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-10-03 14:33:57 -0700 (Mon, 03 Oct 2005)
Revision: 7820
Log message:

      Couple more Ignore-related fixed (I have not seen these before because they
      were masked by a buggy mmc_ext_tuple.mli).