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.
This commit is contained in:
parent
4d9449e0f9
commit
17bacc6fb6
|
@ -1885,7 +1885,6 @@ pub mod serde {
|
||||||
#[cfg(kani)]
|
#[cfg(kani)]
|
||||||
mod verification {
|
mod verification {
|
||||||
use std::cmp;
|
use std::cmp;
|
||||||
use std::convert::TryInto;
|
|
||||||
|
|
||||||
use super::*;
|
use super::*;
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue