From 87101714865344b9b3eb28f836c07f7578fde726 Mon Sep 17 00:00:00 2001
From: Yann Follet <yann.follet@gmail.com>
Date: Thu, 21 Dec 2023 01:20:43 +0000
Subject: [PATCH] remove empty line

---
 examples/main/main.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/examples/main/main.cpp b/examples/main/main.cpp
index 65bf94e00..87e44aa8a 100644
--- 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;