Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-02-05 13:14:58 -0800 (Mon, 05 Feb 2001)
Revision: 3142
Log message:

      Removed some duplicated printing code.
      

Changes	Path
+6 -11	metaprl/mllib/debug_string_sets.ml
+0 -23	metaprl/refiner/rewrite/rewrite_debug.ml