units: replace wildcard import with specific imports in verification

entreesweb3 · web-flow · commit f050a95cae5f · 2025-10-03T04:44:47.000+02:00
diff --git a/units/src/amount/verification.rs b/units/src/amount/verification.rs
@@ -4,7 +4,7 @@
 
 use std::cmp;
 
-use super::*;
+use super::{Amount, SignedAmount};
 
 // Note regarding the `unwind` parameter: this defines how many iterations
 // of loops kani will unwind before handing off to the SMT solver. Basically
