diff --git a/kani-driver/src/call_single_file.rs b/kani-driver/src/call_single_file.rs
index 07f4f53aaa5e..868d1adce636 100644
--- a/kani-driver/src/call_single_file.rs
+++ b/kani-driver/src/call_single_file.rs
@@ -157,8 +157,7 @@ impl KaniSession {
         // We only use panic abort strategy for verification since we cannot handle unwind logic.
         if self.args.coverage {
             flags.extend_from_slice(
-                &["-C", "instrument-coverage", "-Z", "no-profiler-runtime"]
-                    .map(OsString::from),
+                &["-C", "instrument-coverage", "-Z", "no-profiler-runtime"].map(OsString::from),
             );
         }
         flags.extend_from_slice(