Update call to out_filename

zhassan-aws · zhassan-aws · commit b0da68ea26ea · 2023-01-04T12:28:14.000-08:00
diff --git a/kani-compiler/src/codegen_cprover_gotoc/compiler_interface.rs b/kani-compiler/src/codegen_cprover_gotoc/compiler_interface.rs
@@ -229,7 +229,7 @@ impl CodegenBackend for GotocCodegenBackend {
             sess,
             CrateType::Rlib,
             outputs,
-            codegen_results.crate_info.local_crate_name.as_str(),
+            codegen_results.crate_info.local_crate_name,
         );
         builder.build(&rlib);
         Ok(())
