Use correct parameter type for clock_gettime

arx · Jul 18, 2016 · 39fb9a0 · 39fb9a0
1 parent 13db2a3
commit 39fb9a0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/platform/Time.cpp b/src/platform/Time.cpp
@@ -29,7 +29,7 @@ namespace platform {
 
 #include <time.h>
 
-static clock_t g_clockId = CLOCK_REALTIME;
+static clockid_t g_clockId = CLOCK_REALTIME;
 
 void initializeTime() {