# HG changeset patch
# User berghofe
# Date 1082214533 -7200
# Node ID 068bb99f3ebd18e386df0d61138f27f7d663dbcf
# Parent  a2bcb11ce445dfc9823488660ed46fa8667bd3bc
Fixed bug in rmod that caused an overflow exception in SML/NJ.

diff -r a2bcb11ce445 -r 068bb99f3ebd src/Pure/library.ML
--- a/src/Pure/library.ML	Sat Apr 17 16:24:36 2004 +0200
+++ b/src/Pure/library.ML	Sat Apr 17 17:08:53 2004 +0200
@@ -1145,7 +1145,7 @@
 
 exception RANDOM;
 
-fun rmod x y = x - y * real (Real.floor (x / y));
+fun rmod x y = x - y * Real.realFloor (x / y);
 
 local
   val a = 16807.0;