diff --git a/repos/libports/src/lib/readline/genode.cc b/repos/libports/src/lib/readline/genode.cc
index 7c661b1a93..fe05e53f5c 100644
--- a/repos/libports/src/lib/readline/genode.cc
+++ b/repos/libports/src/lib/readline/genode.cc
@@ -19,15 +19,6 @@
 using namespace Genode;
 
 
-/********************************************
- ** External references declared in tcap.h **
- ********************************************/
-
-char PC;
-char *BC = 0;
-char *UP = 0;
-
-
 extern "C" int tgetnum(char *s);
 int tgetnum(char *s)
 {