[MLton-commit] r6658
Matthew Fluet
fluet at mlton.org
Sun Jun 15 16:51:36 PDT 2008
Formatting.
----------------------------------------------------------------------
U mlton/trunk/basis-library/system/timer.sig
----------------------------------------------------------------------
Modified: mlton/trunk/basis-library/system/timer.sig
===================================================================
--- mlton/trunk/basis-library/system/timer.sig 2008-06-15 01:38:28 UTC (rev 6657)
+++ mlton/trunk/basis-library/system/timer.sig 2008-06-15 23:51:35 UTC (rev 6658)
@@ -5,7 +5,7 @@
val checkCPUTimer: cpu_timer -> {sys: Time.time, usr: Time.time}
val checkCPUTimes: cpu_timer -> {gc: {sys: Time.time,
- usr: Time.time},
+ usr: Time.time},
nongc: {sys: Time.time,
usr: Time.time}}
val checkGCTime: cpu_timer -> Time.time
More information about the MLton-commit
mailing list