[MLton-commit] r4547

[Matthew Fluet]

Typo
----------------------------------------------------------------------

U   mlton/branches/on-20050822-x86_64-branch/runtime/gc/profiling.h

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

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/gc/profiling.h
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/gc/profiling.h	2006-05-16 02:45:59 UTC (rev 4546)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/gc/profiling.h	2006-05-16 02:49:56 UTC (rev 4547)
@@ -99,7 +99,7 @@
 static void writeProfileCount (GC_state s, int fd, GC_profileData p, GC_profileMasterIndex i);
 
 static void setProfTimer (long usec);
-static void initProfilingTime (GC_state s) 
+static void initProfilingTime (GC_state s);
 static void atexitForProfiling (void);
 static void initProfiling (GC_state s);