doc: fix GetTimeMicros() comment in random.cpp

This commit is contained in:
fanquake 2020-03-17 13:09:52 +08:00
parent a889711562
commit f9f210d8de
No known key found for this signature in database
GPG Key ID: 2EEB9F5CC09526C1

View File

@ -15,7 +15,7 @@
#endif
#include <logging.h> // for LogPrintf()
#include <sync.h> // for Mutex
#include <util/time.h> // for GetTime()
#include <util/time.h> // for GetTimeMicros()
#include <stdlib.h>
#include <thread>