diff --git a/units/src/amount.rs b/units/src/amount.rs
index 94cfaca3..687b569d 100644
--- a/units/src/amount.rs
+++ b/units/src/amount.rs
@@ -1885,7 +1885,6 @@ pub mod serde {
 #[cfg(kani)]
 mod verification {
     use std::cmp;
-    use std::convert::TryInto;
 
     use super::*;