Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-04-23 19:18:36 -0700 (Fri, 23 Apr 2004)
Revision: 5709
Log message:

      This is the matching commit against the MetaPRL update, for MMC to use Lm_printf.
      

Changes  Path
+0 -1 mpcompiler/mmc/arch/x86/mmc_x86_regalloc.ml
+0 -1 mpcompiler/mmc/base/mmc_base_standardize.ml
+11 -5 mpcompiler/mmc/core/mmc_core_type_infer.ml
+0 -1 mpcompiler/util/mm_tactic_util.ml