From 17bacc6fb6e7fb92dcc4f4b5fdeecc3f756d72a3 Mon Sep 17 00:00:00 2001
From: "Tobin C. Harding" <me@tobin.cc>
Date: Tue, 16 Apr 2024 06:14:33 +1000
Subject: [PATCH] kani: Remove redundant import

`cargo` is reporting a redundant import warning:

 warning: the item `TryInto` is imported redundantly

Remove the import statement from the `verification` module.
---
 units/src/amount.rs | 1 -
 1 file changed, 1 deletion(-)

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::*;