Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2003-11-12 14:28:53 -0800 (Wed, 12 Nov 2003)
Revision: 5092
Log message:

      Automatically prove the 2'nd subgoal of type inference.
      

Changes	Path
+4 -2	mpcompiler/mmc/core/mmc_core_type_infer.ml