Index: src/win32-headers.h |
diff --git a/src/win32-headers.h b/src/win32-headers.h |
index f0b2d0a0c5dc6d89eb345ba4be059e8c95751f1e..87f078dc0ca4f45e99db0a11a4aa143c81a5e029 100644 |
--- a/src/win32-headers.h |
+++ b/src/win32-headers.h |
@@ -63,7 +63,6 @@ |
// header files to expose getaddrinfo. |
#undef _WIN32_WINNT |
#define _WIN32_WINNT 0x501 |
-#include <float.h> // For _controlfp(). |
#endif // __MINGW32__ |
#if !defined(__MINGW32__) || defined(__MINGW64_VERSION_MAJOR) |
#include <dbghelp.h> // For SymLoadModule64 and al. |
@@ -79,7 +78,7 @@ |
#ifndef __MINGW32__ |
#include <wspiapi.h> |
#endif // __MINGW32__ |
-#include <process.h> // For _beginthreadex(). |
+#include <process.h> // for _beginthreadex() |
#include <stdlib.h> |
#endif // V8_WIN32_HEADERS_FULL |