Remove unnecessary imports

model-checking · Jul 9, 2024 · fb07b8a · fb07b8a
1 parent c2d4d4f
commit fb07b8a
Showing 1 changed file with 1 addition and 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
@@ -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};