Index: driver/cc1.cc
===================================================================
--- driver/cc1.cc	(revision 93bbbc4b12b137a34da2200ac50f236cf1b785e6)
+++ driver/cc1.cc	(revision e7a63e3c01e679c28752cbdaeb6eb33b3466787a)
@@ -10,6 +10,6 @@
 // Created On       : Fri Aug 26 14:23:51 2005
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Tue Jun  1 23:07:21 2021
-// Update Count     : 415
+// Last Modified On : Wed Jul 14 15:42:08 2021
+// Update Count     : 418
 //
 
@@ -372,7 +372,7 @@
 			if ( prefix( arg, "-fdiagnostics-color=" ) ) {
 				string choice = arg.substr(20);
-				     if(choice == "always") color_arg = Color_Always;
-				else if(choice == "never" ) color_arg = Color_Never;
-				else if(choice == "auto"  ) color_arg = Color_Auto;
+				if ( choice == "always" ) color_arg = Color_Always;
+				else if ( choice == "never" ) color_arg = Color_Never;
+				else if ( choice == "auto" ) color_arg = Color_Auto;
 			} else if ( arg == "-fno-diagnostics-color" ) {
 				color_arg = Color_Auto;