Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2005-03-16 14:57:39 -0800 (Wed, 16 Mar 2005)
Revision: 6947
Log message:

      Correcting a problem in value_with_univ_cons.  Unfortunately, this makes it
      slower...  Maybe there's a better way.
      

Changes	Path
+8 -3	mpcompiler/mmc/core/mmc_core_type_check.ml