Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-12-01 18:48:14 -0800 (Wed, 01 Dec 2004)
Revision: 6301
Log message:

      Use Digest.to_hex instead of a custom conversion to an int (which produced
      different results on 32-bit and 64-bit platforms).
      

Changes	Path
+1 -1	metaprl/filter/base/filter_magic.ml
+1 -7	metaprl/util/genmagic.ml