Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-04-09 16:47:40 -0700 (Fri, 09 Apr 2004)
Revision: 5626
Log message:

      - The CPS for Ops was very wrong, fixed.
      
      - Updated the mcc script not to expect a specific theory name
        (and renamed it into mmc)
      

Changes	Path
Properties	mpcompiler/mmc/arch/util
+4 -0	mpcompiler/mmc/core/mmc_core_cps.ml
+10 -14	mpcompiler/mmc/extensions/operator/mmc_ext_operator.ml
Deleted	mpcompiler/mmc/test/mcc
Added	mpcompiler/mmc/test/mmc
Properties	mpcompiler/mmc/test/mmc