Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-04-01 14:30:14 -0800 (Fri, 01 Apr 2005)
Revision: 7080
Log message:

      Make sure the compileT tactic matches the mmc script.
      

Changes	Path
+7 -1	mpcompiler/mmc/arch/x86/mmc_x86_theory.ml
+4 -1	mpcompiler/mmc/lir/mmc_lir_theory.ml
+0 -1	mpcompiler/mmc/test/OMakefile
+14 -14	mpcompiler/mmc/test/mmc_int_test.ml