Delete unused field

Fixes #7456.

[ci skip]
This commit is contained in:
Fabian Homborg 2020-11-06 17:40:36 +01:00
parent d3192d37a2
commit 65c5433662

View File

@ -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);