Upgrade toolchain to nightly-2024-11-13

model-checking · Nov 13, 2024 · 487e963 · 487e963
1 parent f855a72
commit 487e963
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/kani-compiler/src/codegen_aeneas_llbc/compiler_interface.rs b/kani-compiler/src/codegen_aeneas_llbc/compiler_interface.rs
@@ -338,7 +338,7 @@ impl CodegenBackend for LlbcCodegenBackend {
             debug!(?crate_type, ?out_path, "link");
             if *crate_type == CrateType::Rlib {
                 // Emit the `rlib` that contains just one file: `<crate>.rmeta`
-                link_binary(sess, &ArArchiveBuilderBuilder, &codegen_results, outputs)?
+                link_binary(sess, &ArArchiveBuilderBuilder, codegen_results, outputs)?
             } else {
                 // Write the location of the kani metadata file in the requested compiler output file.
                 let base_filepath = outputs.path(OutputType::Object);

diff --git a/kani-compiler/src/codegen_cprover_gotoc/compiler_interface.rs b/kani-compiler/src/codegen_cprover_gotoc/compiler_interface.rs
@@ -412,7 +412,7 @@ impl CodegenBackend for GotocCodegenBackend {
         let requested_crate_types = &codegen_results.crate_info.crate_types;
         // Create the rlib if one was requested.
         if requested_crate_types.iter().any(|crate_type| *crate_type == CrateType::Rlib) {
-            link_binary(sess, &ArArchiveBuilderBuilder, &codegen_results, outputs)?;
+            link_binary(sess, &ArArchiveBuilderBuilder, codegen_results, outputs)?;
         }
 
         // But override all the other outputs.

diff --git a/rust-toolchain.toml b/rust-toolchain.toml
@@ -2,5 +2,5 @@
 # SPDX-License-Identifier: Apache-2.0 OR MIT
 
 [toolchain]
-channel = "nightly-2024-11-12"
+channel = "nightly-2024-11-13"
 components = ["llvm-tools", "rustc-dev", "rust-src", "rustfmt"]