Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-08-06 13:29:07 -0700 (Tue, 06 Aug 2002)
Revision: 3772
Log message:

      Seems like compare_num was using a naive implementation that was subject to
      overflow errors when two 31-bit ints were being compared.  For lack of better
      solution, I've changed (i - j) to (Pervasives.compare i j).
      

Changes	Path
+1 -1	metaprl/mllib/mp_num.ml