Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-04-04 20:43:05 -0700 (Sun, 04 Apr 2004)
Revision: 5597
Log message:
Optimization should happen *before* memory reservation.
Changes | Path |
+2 -2 | mpcompiler/mmc/core/mmc_core_theory.ml |