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

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>