Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-03-15 22:17:12 -0800 (Wed, 15 Mar 2006)
Revision: 8903
Log message:

      Getting rid of an OCaml warning.