Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1998-12-11 11:14:25 -0800 (Fri, 11 Dec 1998)
Revision: 2522
Log message:

      Fixed some "this expression should have type unit" Ocaml-2.01 warnings
      

Changes	Path
+1 -1	metaprl/library/basic.ml
+11 -10	metaprl/library/db.ml
+1 -1	metaprl/library/library.ml
+14 -13	metaprl/library/library_type_base.ml
+4 -4	metaprl/library/mathBus.ml
+6 -6	metaprl/library/mbterm.ml
+3 -2	metaprl/library/oidtable.ml
+32 -28	metaprl/library/orb.ml
+1 -1	metaprl/mllib/debug_string_sets.ml
+5 -5	metaprl/mllib/hash_set.ml
+6 -5	metaprl/mllib/red_black_set.ml
+2 -2	metaprl/mllib/remote_queue_null.ml
+1 -1	metaprl/mllib/simplehash_sig.ml
+1 -2	metaprl/mllib/simplehashtbl.ml
+10 -10	metaprl/refiner/refiner/refine.mlp
+4 -4	metaprl/refiner/reflib/rformat.ml
+1 -1	metaprl/refiner/reflib/term_dtable.ml
+1 -1	metaprl/refiner/reflib/term_table.ml
+7 -7	metaprl/refiner/term_ds/term_base_ds.mlp
+1 -1	metaprl/refiner/term_ds/term_subst_ds.mlp
+1 -1	metaprl/refiner/term_std/term_subst_std.mlp