1 files changed, 1 insertions, 1 deletions
diff --git a/tools/driver/main.cc b/tools/driver/main.cc
index 10b665b..df551a2 100644
--- a/tools/driver/main.cc
+++ b/tools/driver/main.cc
@@ -173,7 +173,7 @@ int main(int argc, char **argv) {
             }
             OutputPath = argv[++I];
         } else if (isColorOption(Arg)) {
-            continue;
+            // Already applied above; not an unknown argument.
         } else if (Arg.empty() || Arg[0] == '-') {
             llvm::errs() << cps::diagnosticPrefix(cps::Severity::Error) << "unknown argument '" << Arg << "'\n";
             return compilationTerminated();