| 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();
|
|
|