From a82d02ad25e023c7fc40f503c4b89fd629ee6df8 Mon Sep 17 00:00:00 2001
From: Francois Perrad <francois.perrad@gadz.org>
Date: Sat, 9 Dec 2017 20:05:20 +0100
Subject: [PATCH] remove useless include

---
 etc/tune.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/etc/tune.c b/etc/tune.c
index 49fd0dd..b9191e0 100644
--- a/etc/tune.c
+++ b/etc/tune.c
@@ -3,7 +3,6 @@
  * Tom St Denis, tstdenis82@gmail.com
  */
 #include <tommath.h>
-#include <time.h>
 #include <stdint.h>
 
 /* how many times todo each size mult.  Depends on your computer.  For slow computers