Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-11-16 23:02:15 -0800 (Tue, 16 Nov 2004)
Revision: 6271
Log message:

      More unused variables eliminated.
      

Changes	Path
+3 -3	metaprl/library/lint32.ml
+11 -16	metaprl/library/socketIo.ml
+1 -1	metaprl/library/utils.ml
+2 -2	metaprl/mllib/debug_string_sets.ml
+2 -2	metaprl/mllib/debug_tables.ml
+33 -35	metaprl/mllib/file_base.ml
+1 -1	metaprl/mllib/file_type_base.ml
+3 -3	metaprl/mllib/weak_memo.ml
+12 -11	metaprl/refiner/refiner/refine.ml
+8 -8	metaprl/refiner/rewrite/rewrite_build_contractum.ml
+4 -4	metaprl/refiner/rewrite/rewrite_debug.ml
+1 -1	metaprl/refiner/rewrite/rewrite_match_redex.ml
+22 -22	metaprl/refiner/term_gen/term_addr_gen.ml
+1 -1	metaprl/refiner/term_gen/term_hash.ml
+1 -1	metaprl/util/OMakefile
+11 -11	metaprl/util/pa_macro.ml