From: John Darrington <john@darrington.wattle.id.au>
Date: Sat, 29 Jun 2019 11:17:17 +0000 (+0200)
Subject: terminal-reader.c: Remove unused variable.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c193302d89917211fc7cff16203a1787a295ee9a;p=pspp

terminal-reader.c: Remove unused variable.
---

diff --git a/src/ui/terminal/terminal-reader.c b/src/ui/terminal/terminal-reader.c
index 0a1337d4ea..b8c71447ce 100644
--- a/src/ui/terminal/terminal-reader.c
+++ b/src/ui/terminal/terminal-reader.c
@@ -33,11 +33,6 @@ static char *history_file;
 static char **complete_command_name (const char *, int, int);
 static char **dont_complete (const char *, int, int);
 static char *command_generator (const char *text, int state);
-
-static const bool have_readline = true;
-
-#else
-static const bool have_readline = false;
 #endif