From 0723510e01ec53651ad734eccc822ee245ee82ac Mon Sep 17 00:00:00 2001
From: Artem Agvanian <nartagva@amazon.com>
Date: Mon, 1 Jul 2024 15:03:06 -0700
Subject: [PATCH] Fix formatting

---
 .../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 0bd9ea4704fe..57d767b10ea8 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
@@ -353,7 +353,7 @@ impl<'a> MirVisitor for CheckUninitVisitor<'a> {
                                         count: mk_const_operand(1, location.span()),
                                     });
                                 }
-                                "volatile_load" | "unaligned_volatile_load"  => {
+                                "volatile_load" | "unaligned_volatile_load" => {
                                     assert_eq!(
                                         args.len(),
                                         1,