Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-11-12 18:52:43 -0800 (Fri, 12 Nov 2004)
Revision: 6264
Log message:

      The CVS version of OCaml now supports "unused variable" warnings.
      I've just started going over the MetaPRL code and eliminating these
      warnings. So far I've found one real bug - Lm_symbol.compare_triple
      was incorrect.
      

Changes  Path
+13 -13 metaprl/mllib/permutations.ml
+18 -19 metaprl/refiner/reflib/jtunify.ml
+3 -3 metaprl/refiner/reflib/jtunify.mli
+1 -1 metaprl/util/OMakefile
+3 -3 metaprl/util/ocamldep.mll
+5 -5 metaprl/util/pa_macro.ml