Index: src/platform.h |
diff --git a/src/platform.h b/src/platform.h |
index 384ae15c96306a79a6916f871b054e376cfda10e..ef87e9d4a1481af171067ee48465d060aee1f8d6 100644 |
--- a/src/platform.h |
+++ b/src/platform.h |
@@ -206,10 +206,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(); |