From 6b396e64556ad556eb3260db714c1f824ee4f458 Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Fri, 14 Feb 2020 13:12:05 +0100
Subject: [PATCH] remove whitespace

---
 kernel/driver.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kernel/driver.cc b/kernel/driver.cc
index 1802e8aac..2917586ea 100644
--- a/kernel/driver.cc
+++ b/kernel/driver.cc
@@ -672,7 +672,7 @@ int main(int argc, char **argv)
 	if (call_abort)
 		abort();
 
-	log_flush();	
+	log_flush();
 #if defined(_MSC_VER)
 	_exit(0);
 #elif defined(_WIN32)
-- 
2.30.2