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

      Added a type constraint on the return value for an Obj.magic call to avoid
      getting a bogus OCaml warning.