From 21bd21576dd7c73d709675d3e1e8644e439b61eb Mon Sep 17 00:00:00 2001
From: Jethro Grassie <jtg@xtrabass.com>
Date: Thu, 18 Jan 2018 19:03:05 -0500
Subject: [PATCH] remove unnecessary include

---
 contrib/epee/src/readline_buffer.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/contrib/epee/src/readline_buffer.cpp b/contrib/epee/src/readline_buffer.cpp
index 00c2ddd62..076a63612 100644
--- a/contrib/epee/src/readline_buffer.cpp
+++ b/contrib/epee/src/readline_buffer.cpp
@@ -1,7 +1,6 @@
 #include "readline_buffer.h"
 #include <readline/readline.h>
 #include <readline/history.h>
-#include <sys/select.h>
 #include <unistd.h>
 #include <iostream>
 #include <boost/thread.hpp>