Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2000-05-14 13:43:26 -0700 (Sun, 14 May 2000)
Revision: 2969
Log message:

      Fixed a bug in red_black_set - it forgot to sort the list and get rid
      of duplicates before converting it to a set!
      
      Added a little more debugging in debug_string_sets
      
      Rolled back the change that I accidentally commited to string_set - it
      is now back to using red_black_set (instead of debug_string_sets).
      

Changes	Path
+45 -0	metaprl/mllib/array_util.ml
+11 -0	metaprl/mllib/array_util.mli
+5 -1	metaprl/mllib/debug_string_sets.ml
+5 -10	metaprl/mllib/red_black_set.ml
+1 -1	metaprl/mllib/string_set.ml