Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-03-19 09:21:35 -0800 (Fri, 19 Mar 2004)
Revision: 5490
Log message:

      Added type checking to the codegen phase.
      

Changes	Path
+1 -0	mpcompiler/mmc/arch/x86/mmc_x86_codegen.ml
+1 -0	mpcompiler/mmc/core/mmc_core_theory.ml
+1 -0	mpcompiler/mmc/core/mmc_core_theory.mli