Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2004-02-27 11:58:24 -0800 (Fri, 27 Feb 2004)
Revision: 5420
Log message:

      Fixed a bug in type checking of applications.
      

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