Fix formatting

model-checking · Jul 2, 2024 · 0723510 · 0723510
1 parent 068b9af
commit 0723510
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
@@ -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,