Index: src/platform.h |
diff --git a/src/platform.h b/src/platform.h |
index a42bb5a20e33759cd7690c2909bb0f1d16e7efc8..44817b4b1175cb2e9c910b42fedc32694a49bbb4 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(); |