Index: src/platform.h |
diff --git a/src/platform.h b/src/platform.h |
index 3576d8348416056ed229e25c2d4f5c37315799a8..eb67e7e84dfba2827eb3db0f5b65f8304e6c70ae 100644 |
--- a/src/platform.h |
+++ b/src/platform.h |
@@ -192,10 +192,6 @@ class OS { |
// micro-second resolution. |
static int GetUserTime(uint32_t* secs, uint32_t* usecs); |
- // Get a tick counter normalized to one tick per microsecond. |
- // Used for calculating time intervals. |
- static int64_t Ticks(); |
- |
// Returns current time as the number of milliseconds since |
// 00:00:00 UTC, January 1, 1970. |
static double TimeCurrentMillis(); |