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