Update kani-compiler/src/kani_middle/transform/check_uninit/uninit_vi…

…sitor.rs Co-authored-by: Celina G. Val <celinval@amazon.com>
model-checking · Jul 2, 2024 · c91496f · c91496f
1 parent ca62743
commit c91496f
Showing 1 changed file with 1 addition and 0 deletions.
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
@@ -238,6 +238,7 @@ impl<'a> MirVisitor for CheckUninitVisitor<'a> {
         let SourceInstruction::Statement { idx, bb } = self.current else { unreachable!() };
         self.current = SourceInstruction::Statement { idx: idx + 1, bb };
     }
+
     fn visit_terminator(&mut self, term: &Terminator, location: Location) {
         if !(self.skip_next || self.target.is_some()) {
             self.current = SourceInstruction::Terminator { bb: self.bb };