Fix format

model-checking · Nov 14, 2024 · f50ff23 · f50ff23
1 parent b1f127c
commit f50ff23
Showing 1 changed file with 1 addition and 6 deletions.
diff --git a/kani-compiler/src/codegen_aeneas_llbc/compiler_interface.rs b/kani-compiler/src/codegen_aeneas_llbc/compiler_interface.rs
@@ -330,12 +330,7 @@ impl CodegenBackend for LlbcCodegenBackend {
         let local_crate_name = codegen_results.crate_info.local_crate_name;
         let link_result = link_binary(sess, &ArArchiveBuilderBuilder, codegen_results, outputs);
         for crate_type in requested_crate_types {
-            let out_fname = out_filename(
-                sess,
-                *crate_type,
-                outputs,
-                local_crate_name,
-            );
+            let out_fname = out_filename(sess, *crate_type, outputs, local_crate_name);
             let out_path = out_fname.as_path();
             debug!(?crate_type, ?out_path, "link");
             if *crate_type == CrateType::Rlib {