From fd6b6b242656a83ef8f1f7c22f18db973df336ab Mon Sep 17 00:00:00 2001
From: h-h-h-h <13482553+h-h-h-h@users.noreply.github.com>
Date: Sun, 1 Oct 2023 11:06:05 +0200
Subject: [PATCH] Typo

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

diff --git a/examples/main/main.cpp b/examples/main/main.cpp
index 3a4ed3f78..5379f7bfc 100644
--- a/examples/main/main.cpp
+++ b/examples/main/main.cpp
@@ -667,7 +667,7 @@ int main(int argc, char ** argv) {
             }
             fflush(stdout);
         }
-        // reset color to default if we there is no pending user input
+        // reset color to default if there is no pending user input
         if (input_echo && (int) embd_inp.size() == n_consumed) {
             console::set_display(console::reset);
         }