Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-03-08 01:24:45 -0800 (Mon, 08 Mar 2004)
Revision: 5431
Log message:

      Minor clean-up.
      

Changes	Path
+4 -4	metaprl/refiner/rewrite/rewrite_build_contractum.ml
+1 -1	metaprl/refiner/rewrite/rewrite_compile_contractum.ml
+2 -2	metaprl/refiner/rewrite/rewrite_compile_redex.ml
+2 -8	metaprl/refiner/rewrite/rewrite_debug.ml
+5 -9	metaprl/refiner/rewrite/rewrite_match_redex.ml
+3 -5	metaprl/refiner/rewrite/rewrite_types.ml