Fixed bug in rmod that caused an overflow exception in SML/NJ.
authorberghofe
Sat, 17 Apr 2004 17:08:53 +0200
changeset 14618 068bb99f3ebd
parent 14617 a2bcb11ce445
child 14619 8876ad83b1fb
Fixed bug in rmod that caused an overflow exception in SML/NJ.
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;