From 0ff65e5ed47b84a4a6c7b100aa34c511c97fcca7 Mon Sep 17 00:00:00 2001
From: q66 <daniel@octaforge.org>
Date: Thu, 1 Sep 2016 17:52:43 +0100
Subject: [PATCH] no need to include ctype.h

---
 tools/repl.cc | 2 --
 1 file changed, 2 deletions(-)

diff --git a/tools/repl.cc b/tools/repl.cc
index 87c502b2..596d3c7f 100644
--- a/tools/repl.cc
+++ b/tools/repl.cc
@@ -1,5 +1,3 @@
-#include <ctype.h>
-
 #include <ostd/platform.hh>
 #include <ostd/io.hh>
 #include <ostd/string.hh>