From c3546c05afd53e34518850fba61c6c87ab9c58b0 Mon Sep 17 00:00:00 2001
From: Alexander <awaghili@ucsc.edu>
Date: Sun, 13 Oct 2024 07:40:00 +0000
Subject: [PATCH] Fix clippy issues

---
 kani-driver/src/harness_runner.rs | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/kani-driver/src/harness_runner.rs b/kani-driver/src/harness_runner.rs
index 7ab484d88db5..de08f8ec6390 100644
--- a/kani-driver/src/harness_runner.rs
+++ b/kani-driver/src/harness_runner.rs
@@ -7,9 +7,6 @@ use rayon::prelude::*;
 use std::fs::File;
 use std::io::Write;
 use std::path::Path;
-use std::sync::mpsc;
-use std::sync::Arc;
-use std::thread;
 use std::time::Instant;
 
 use crate::args::OutputFormat;