Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-05-07 15:04:01 -0700 (Mon, 07 May 2001)
Revision: 3215
Log message:

      Pass the "strictness" flag to compile_contractum too, not just compile_redex.
      For now, the compile_contractum is not using it.
      

Changes	Path
+1 -1	metaprl/filter/base/filter_prog.ml
+3 -3	metaprl/filter/filter/filter_parse.ml
+3 -4	metaprl/refiner/reflib/dform.ml
+4 -5	metaprl/refiner/refsig/rewrite_sig.ml
+5 -5	metaprl/refiner/rewrite/rewrite.ml
+33 -31	metaprl/refiner/rewrite/rewrite_compile_contractum.ml
+3 -2	metaprl/refiner/rewrite/rewrite_compile_contractum.mli
+9 -8	metaprl/refiner/rewrite/rewrite_compile_contractum_sig.mlz