Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-11-08 15:24:59 -0800 (Tue, 08 Nov 2005)
Revision: 8141
Log message:

      OCaml 3.09 and THEORY_DEPS compatibility.
      

Changes  Path
+3 -3 mpcompiler/mmc/OMakefile
+1 -2 mpcompiler/mmc/arch/ra/mmc_ra_live.ml
+7 -8 mpcompiler/mmc/arch/ra/mmc_ra_main.ml
+8 -11 mpcompiler/mmc/core/mmc_core_type_infer.ml
+86 -86 mpcompiler/mmc/test/mmc_tests_out.previous
+3 -3 mpcompiler/poplmark/pmc/OMakefile
+0 -3 mpcompiler/util/OMakefile