doc: fix GetTimeMicros() comment in random.cpp

fanquake · fanquake · commit f9f210d8de43 · 2020-03-17T13:09:52.000+08:00
diff --git a/src/random.cpp b/src/random.cpp
@@ -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>
