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>