remove whitespace

diff --git a/kernel/driver.cc b/kernel/driver.cc
index 1802e8aacf80bd4481a4d2760d0bd13cb7736623..2917586eaf6e53df77bd93aeb2688dd6283b590d 100644 (file)
--- 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)