Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-04-02 18:14:15 -0800 (Sat, 02 Apr 2005)
Revision: 7088
Log message:

      Added a line to term_base_ds to avoid the capture problem in bug #432.
      

Changes	Path
+15 -3	metaprl/refiner/term_ds/term_base_ds.ml
+9 -8	metaprl/refiner/term_ds/term_subst_ds.ml
+1 -3	mpcompiler/mmc/arch/x86/codegen/mmc_x86_closure.ml
+4 -4	mpcompiler/mmc/arch/x86/type/mmc_x86_sweep.ml