remove command import

model-checking · Mar 5, 2024 · 192c4a9 · 192c4a9
1 parent 5e8fc37
commit 192c4a9
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/kani-driver/src/assess/scan.rs b/kani-driver/src/assess/scan.rs
@@ -4,7 +4,6 @@
 use std::collections::HashSet;
 use std::path::Path;
 use std::path::PathBuf;
-use std::process::Command;
 use std::time::Instant;
 
 use anyhow::Result;