[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