From: Miodrag Milanovic <mmicko@gmail.com>
Date: Fri, 14 Feb 2020 12:12:05 +0000 (+0100)
Subject: remove whitespace
X-Git-Tag: working-ls180~788^2~12
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6b396e64556ad556eb3260db714c1f824ee4f458;p=yosys.git

remove whitespace
---

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)