From 65c54336625bb0535cda4e0f00f5822e4b8a9a3e Mon Sep 17 00:00:00 2001
From: Fabian Homborg <FHomborg@gmail.com>
Date: Fri, 6 Nov 2020 17:40:36 +0100
Subject: [PATCH] Delete unused field

Fixes #7456.

[ci skip]
---
 src/input.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/input.h b/src/input.h
index 630edc1cb..4873b10ae 100644
--- a/src/input.h
+++ b/src/input.h
@@ -37,7 +37,6 @@ class inputter_t {
     bool mapping_is_match(const input_mapping_t &m);
     maybe_t<input_mapping_t> find_mapping();
     char_event_t read_characters_no_readline();
-    int in_{0};
 
    public:
     inputter_t(parser_t &parser, int in = 0);