Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-07-31 01:35:25 -0700 (Thu, 31 Jul 2003)
Revision: 4793
Log message:

      For some reason, unification code used == instead of = for comparing
      constants. Just can't believe this went unnoticed for almost 4 years!
      

Changes	Path
+3 -3	metaprl/refiner/reflib/unify_mm.ml