From 9f903475965bf571d6f52b3a9ba3c37db3e644f9 Mon Sep 17 00:00:00 2001
From: Justin Suess <justin.suess@westpoint.edu>
Date: Thu, 16 Mar 2023 12:45:24 -0400
Subject: [PATCH] Update main.cpp

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

diff --git a/main.cpp b/main.cpp
index 2f6f6f214..d629693d7 100644
--- a/main.cpp
+++ b/main.cpp
@@ -1003,7 +1003,7 @@ int main(int argc, char ** argv) {
                     if(params.use_color) printf(ANSI_BOLD ANSI_COLOR_GREEN);
                     if (scanf("%255[^\n]%n%*c", buf, &n_read) <= 0) {
                         // presumable empty line, consume the newline
-			std::ignore = scanf("%*c");
+                        std::ignore = scanf("%*c");
                         n_read=0;
                     }
                     if(params.use_color) printf(ANSI_COLOR_RESET);