Fix clippy issues (again)

Alexander-Aghili · Oct 15, 2024 · 1593d23 · 1593d23
1 parent 666a818
commit 1593d23
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/kani-driver/src/harness_runner.rs b/kani-driver/src/harness_runner.rs
@@ -7,7 +7,6 @@ use rayon::prelude::*;
 use std::fs::File;
 use std::io::Write;
 use std::path::Path;
-use std::time::Instant;
 
 use crate::args::OutputFormat;
 use crate::call_cbmc::{VerificationResult, VerificationStatus};
@@ -46,7 +45,7 @@ impl<'sess, 'pr> HarnessRunner<'sess, 'pr> {
 
         let sorted_harnesses = crate::metadata::sort_harnesses_by_loc(harnesses);
         let pool = {
-            let mut builder = rayon::ThreadPoolBuilder::new();
+            let builder = rayon::ThreadPoolBuilder::new();
             builder.build()?
         };