Format

adpaco-aws · Aug 20, 2024 · 0943ee3 · 0943ee3
1 parent 5a574f7
commit 0943ee3
Showing 1 changed file with 1 addition and 2 deletions.
diff --git 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(