From 34359f550a52ce4132910f4357d92a8b335d008f Mon Sep 17 00:00:00 2001
From: Matias Scharager <mscharag@amazon.com>
Date: Fri, 28 Jun 2024 17:24:55 -0400
Subject: [PATCH] forgot to copy paste test in

---
 tests/ui/function-contracts/mutating_ensures_error.rs | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

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);
 }
-