From fb07b8ac418935bc0a7df8b5f400815026d4bc92 Mon Sep 17 00:00:00 2001
From: Artem Agvanian <nartagva@amazon.com>
Date: Tue, 9 Jul 2024 11:55:38 -0700
Subject: [PATCH] Remove unnecessary imports

---
 .../src/kani_middle/transform/check_uninit/uninit_visitor.rs    | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kani-compiler/src/kani_middle/transform/check_uninit/uninit_visitor.rs b/kani-compiler/src/kani_middle/transform/check_uninit/uninit_visitor.rs
index 895dbc8d5eb9..f68869e6681d 100644
--- a/kani-compiler/src/kani_middle/transform/check_uninit/uninit_visitor.rs
+++ b/kani-compiler/src/kani_middle/transform/check_uninit/uninit_visitor.rs
@@ -12,7 +12,7 @@ use stable_mir::mir::{
     Place, PointerCoercion, ProjectionElem, Rvalue, Statement, StatementKind, Terminator,
     TerminatorKind,
 };
-use stable_mir::ty::{ConstantKind, MirConst, RigidTy, Span, Ty, TyKind, UintTy};
+use stable_mir::ty::{ConstantKind, RigidTy, Ty, TyKind};
 use strum_macros::AsRefStr;
 
 use super::{PointeeInfo, PointeeLayout};