remove empty line

This commit is contained in:
Yann Follet 2023-12-21 01:20:43 +00:00
parent 4ab3f47cbc
commit 8710171486

View file

@ -684,7 +684,6 @@ int main(int argc, char ** argv) {
if (input_echo && (int) embd_inp.size() == n_consumed) {
console::set_display(console::reset);
display = true;
}
// if not currently processing queued inputs;