Index: src/platform/time.h |
diff --git a/src/platform/time.h b/src/platform/time.h |
index 877e0203bb553920aa6271a81d61695824657891..99a8d393182a174ccd146eccb7b7ad0742cfdcda 100644 |
--- a/src/platform/time.h |
+++ b/src/platform/time.h |
@@ -28,7 +28,7 @@ |
#ifndef V8_PLATFORM_TIME_H_ |
#define V8_PLATFORM_TIME_H_ |
-#include <ctime> |
+#include <time.h> |
#include <limits> |
#include "../allocation.h" |