Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-03-18 13:32:06 -0800 (Fri, 18 Mar 2005)
Revision: 6974
Log message:

      Removed the double quantifier during closure elimination.
      

Changes	Path
+2 -2	mpcompiler/mmc/core/mmc_core_cps.ml
+2 -2	mpcompiler/mmc/core/mmc_core_type_check.ml
+64 -13	mpcompiler/mmc/lir/mmc_lir_closure_elim.ml
+1 -1	mpcompiler/mmc/test/mmc