Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2005-03-21 16:21:55 -0800 (Mon, 21 Mar 2005)
Revision: 6991
Log message:

      oops!  I wrote a meta-let instead of a let for the let_intro rule.
      

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