[MLton-commit] r4127

[Matthew Fluet]

Duplicate inline
----------------------------------------------------------------------

U   mlton/branches/on-20050822-x86_64-branch/runtime/gc/read_write.c

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

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/gc/read_write.c
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/gc/read_write.c	2005-10-31 02:47:56 UTC (rev 4126)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/gc/read_write.c	2005-10-31 02:52:58 UTC (rev 4127)
@@ -100,7 +100,7 @@
   writeString (fd, buf);
 }
 
-static inline inline void writeNewline (int fd) {
+static inline void writeNewline (int fd) {
   writeString (fd, "\n");
 }
 #undef BUF_SIZE