synth: remove import

ekiwi · Dec 15, 2023 · 49305f0 · 49305f0
1 parent 56018be
commit 49305f0
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/synth/src/testbench.rs b/synth/src/testbench.rs
@@ -2,9 +2,7 @@
 // released under BSD 3-Clause License
 // author: Kevin Laeufer <[email protected]>
 
-use crate::repair::{
-    bit_string_to_smt, classify_state, CHANGE_COUNT_OUTPUT_NAME, CHANGE_COUNT_WIDTH,
-};
+use crate::repair::{bit_string_to_smt, classify_state, CHANGE_COUNT_OUTPUT_NAME};
 use libpatron::ir::*;
 use libpatron::mc::{Simulator, TransitionSystemEncoding};
 use libpatron::sim::interpreter::{InitKind, InitValueGenerator, ValueRef};