1 files changed, 1 insertions, 1 deletions
diff --git a/src/bench.h b/src/bench.h
index 9f7f5fc..13d8aa4 100644
--- a/src/bench.h
+++ b/src/bench.h
@@ -1,7 +1,7 @@
 #ifndef __BENCH_H__
 #define __BENCH_H__
 #include <stdio.h>
-#include <sys/time.h>
+#include <time.h>
 
 #ifdef TIMER
 float _cmark_start_time;