remove empty line

YannFollet · Dec 21, 2023 · 8710171 · 8710171
1 parent 4ab3f47
commit 8710171
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/examples/main/main.cpp b/examples/main/main.cpp
@@ -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;