[MLton-commit] r5547

[Vesa Karvonen]

INT_INF should include INTEGER.

----------------------------------------------------------------------

U   mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.mlb

----------------------------------------------------------------------

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.mlb
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.mlb	2007-05-06 14:46:07 UTC (rev 5546)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.mlb	2007-05-06 14:46:21 UTC (rev 5547)
@@ -234,8 +234,8 @@
          detail/control/exit.sml
 
          (* Scalars *)
+         public/numeric/integer.sig
          public/numeric/int-inf.sig
-         public/numeric/integer.sig
          public/numeric/real.sig
          public/numeric/word.sig
          detail/numeric/mk-integer-ext.fun