From 35a98fd3b57e6b70502b3fc42a9ee92d93e2ed7d Mon Sep 17 00:00:00 2001
From: Patrick Pelissier <Patrick.Pelissier@gmail.com>
Date: Thu, 29 Mar 2018 19:13:59 +0200
Subject: [PATCH] Remove unused header file

---
 bench/nucleotide/nucleotide.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/bench/nucleotide/nucleotide.c b/bench/nucleotide/nucleotide.c
index c1a47b7b..69edd183 100644
--- a/bench/nucleotide/nucleotide.c
+++ b/bench/nucleotide/nucleotide.c
@@ -14,7 +14,6 @@
 #include <time.h>
 #include <sys/time.h>
 #include <assert.h>
-#include <pthread.h>
 
 #include "m-worker.h"
 #include "m-dict.h"