From 917d754e371f3afb43e8aacd7fbf7605ac6cbf84 Mon Sep 17 00:00:00 2001 From: Cary R Date: Sat, 22 Jul 2017 13:00:15 -0700 Subject: [PATCH] Fix space issue --- driver/main.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/driver/main.c b/driver/main.c index 03054ef8f..bda5697ca 100644 --- a/driver/main.c +++ b/driver/main.c @@ -1046,8 +1046,8 @@ int main(int argc, char **argv) break; case 'i': - ignore_missing_modules = 1; - break; + ignore_missing_modules = 1; + break; case 'l': process_file_name(optarg, 1);