diff --git a/tests/ui/function-contracts/mutating_ensures_error.rs b/tests/ui/function-contracts/mutating_ensures_error.rs
index ab8de24be46a..2fc5f3c8d702 100644
--- a/tests/ui/function-contracts/mutating_ensures_error.rs
+++ b/tests/ui/function-contracts/mutating_ensures_error.rs
@@ -3,12 +3,10 @@
 // kani-flags: -Zfunction-contracts
 
 #[kani::ensures(|_| {*_x += 1; true})]
-fn unit(_x: &mut u32) {
-}
+fn unit(_x: &mut u32) {}
 
 #[kani::proof_for_contract(id)]
 fn harness() {
     let mut x = kani::any();
     unit(&mut x);
 }
-