chore(clippy): make clippy happy (#1475)

This commit is contained in:
Matthias Seitz 2022-07-12 20:27:55 +02:00 committed by GitHub
parent 7566c3d71e
commit 98e6288036
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 4 deletions

View File

@ -1620,10 +1620,9 @@ fn can_compile_model_checker_sample() {
} }
fn remove_solc_if_exists(version: &Version) { fn remove_solc_if_exists(version: &Version) {
match Solc::find_svm_installed_version(version.to_string()).unwrap() { if Solc::find_svm_installed_version(version.to_string()).unwrap().is_some() {
Some(_) => svm::remove_version(version).expect("failed to remove version"), svm::remove_version(version).expect("failed to remove version")
None => {} }
};
} }
#[tokio::test(flavor = "multi_thread")] #[tokio::test(flavor = "multi_thread")]