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