diff options
Diffstat (limited to 'textproc/sml-fxp/files/patch-src-Util-utilTime.sml')
| -rw-r--r-- | textproc/sml-fxp/files/patch-src-Util-utilTime.sml | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/textproc/sml-fxp/files/patch-src-Util-utilTime.sml b/textproc/sml-fxp/files/patch-src-Util-utilTime.sml deleted file mode 100644 index 1131f86735a2..000000000000 --- a/textproc/sml-fxp/files/patch-src-Util-utilTime.sml +++ /dev/null @@ -1,13 +0,0 @@ ---- src/Util/utilTime.sml.orig Mon May 28 15:08:45 2007 -+++ src/Util/utilTime.sml Mon May 28 15:09:58 2007 -@@ -12,8 +12,8 @@ - (*--------------------------------------------------------------------------*) - signature UtilTime = - sig -- val time : ('a -> 'b) -> 'a -> 'b * {usr:Time.time, sys:Time.time, gc:Time.time} -- val timeN : int -> ('a -> 'b) -> 'a -> 'b * {usr:Time.time, sys:Time.time, gc:Time.time} -+ val time : ('a -> 'b) -> 'a -> 'b * {usr:Time.time, sys:Time.time} -+ val timeN : int -> ('a -> 'b) -> 'a -> 'b * {usr:Time.time, sys:Time.time} - end - - structure UtilTime : UtilTime = |