src/Pure/ML-Systems/overloading_smlnj.ML

--- a/src/Pure/ML-Systems/overloading_smlnj.ML	Tue Aug 07 14:49:58 2007 +0200
+++ b/src/Pure/ML-Systems/overloading_smlnj.ML	Tue Aug 07 15:04:35 2007 +0200
@@ -26,16 +26,16 @@
   IntInf.mod and Int31.mod and Int32.mod and Int64.mod and
   Word.mod and Word8.mod and Word32.mod and Word64.mod;
 overload < : ('a * 'a -> bool) as
-  IntInf.< and Int31.< and Int32.< and Int64.< and
+  IntInf.< and Int31.< and Int32.< and Int64.< and Real.< and
   Word.< and Word8.< and Word32.< and Word64.< and Char.< and String.<;
 overload <= : ('a * 'a -> bool) as
-  IntInf.<= and Int31.<= and Int32.<= and Int64.<= and
+  IntInf.<= and Int31.<= and Int32.<= and Int64.<= and Real.<= and
   Word.<= and Word8.<= and Word32.<= and Word64.<= and Char.<= and String.<=;
 overload > : ('a * 'a -> bool) as
-  IntInf.> and Int31.> and Int32.> and Int64.> and
+  IntInf.> and Int31.> and Int32.> and Int64.> and Real.> and
   Word.> and Word8.> and Word32.> and Word64.> and Char.> and String.>;
 overload >= : ('a * 'a -> bool) as
-  IntInf.>= and Int31.>= and Int32.>= and Int64.>= and
+  IntInf.>= and Int31.>= and Int32.>= and Int64.>= and Real.>= and
   Word.>= and Word8.>= and Word32.>= and Word64.>= and Char.>= and String.>=;
 overload abs: ('a -> 'a) as IntInf.abs and Int31.abs and Int32.abs and Int64.abs and Real.abs;