From aebece511091919fc3e1e83cecb552b809bfc386 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Wed, 28 Apr 2021 16:28:26 +0200
Subject: [PATCH] readline: fix build error with gcc 10

Fixes #4103
---
 repos/libports/src/lib/readline/genode.cc | 9 ---------
 1 file changed, 9 deletions(-)

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)
 {