From dafd433b61f9f1df7a4294a8b0a86ddc66d7d3f4 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Fri, 14 Nov 2014 00:26:17 -0800
Subject: Use time.h, not sys/time.h.

---
 src/bench.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

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;
-- 
cgit v1.2.3