Remove extra space of kani-compiler/src/kani_middle/mod.rs

model-checking · Jul 23, 2024 · d777b3e · d777b3e
1 parent 4c05b23
commit d777b3e
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/kani-compiler/src/kani_middle/mod.rs b/kani-compiler/src/kani_middle/mod.rs
@@ -24,7 +24,6 @@ use stable_mir::visitor::{Visitable, Visitor as TyVisitor};
 use stable_mir::CrateDef;
 use std::ops::ControlFlow;
 
-
 use self::attributes::KaniAttributes;
 
 pub mod analysis;