Skip to content

Commit

Permalink
Clippy fixes
Browse files Browse the repository at this point in the history
  • Loading branch information
zhassan-aws committed Mar 11, 2024
1 parent 0a371ce commit 8c10aee
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion kani-compiler/src/kani_middle/reachability.rs
Original file line number Diff line number Diff line change
Expand Up @@ -515,8 +515,8 @@ fn collect_alloc_items(alloc_id: AllocId) -> Vec<MonoItem> {
}

#[cfg(debug_assertions)]
#[allow(dead_code)]
mod debug {
#![allow(dead_code)]

use std::fmt::{Display, Formatter};
use std::{
Expand Down
2 changes: 1 addition & 1 deletion kani-driver/src/assess/mod.rs
Original file line number Diff line number Diff line change
Expand Up @@ -170,7 +170,7 @@ fn reconstruct_metadata_structure(
}
if !package_artifacts.is_empty() {
let mut merged = crate::metadata::merge_kani_metadata(package_artifacts);
merged.crate_name = package.name.clone();
merged.crate_name.clone_from(&package.name);
package_metas.push(merged);
}
}
Expand Down

0 comments on commit 8c10aee

Please sign in to comment.