Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-01-13 23:06:12 -0800 (Thu, 13 Jan 2005)
Revision: 6402
Log message:

      The MMC part of my yesterday's dT changes
      

Changes	Path
+2 -2	mpcompiler/mmc/core/mmc_core_type_check.ml