[MLton-commit] r6842

[Wesley Terpstra]

On win64 this is already defined.
Otherwise, time profiling and regressions are ok.
----------------------------------------------------------------------

U   mlton/trunk/runtime/platform/mingw.h

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

Modified: mlton/trunk/runtime/platform/mingw.h
===================================================================
--- mlton/trunk/runtime/platform/mingw.h	2008-09-07 17:26:15 UTC (rev 6841)
+++ mlton/trunk/runtime/platform/mingw.h	2008-09-07 23:18:30 UTC (rev 6842)
@@ -1,5 +1,7 @@
 /* Many of the functions used in mingw.c are Win2000+ */
+#ifndef _WIN32_WINNT
 #define _WIN32_WINNT 0x0500
+#endif
 
 #include <inttypes.h>
 #include <stdint.h>