blob: 1131f86735a2c998798d691e228770d861905ad3 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
--- 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 =
|
