forgot to copy paste test in

model-checking · Jun 28, 2024 · 34359f5 · 34359f5
1 parent b28f752
commit 34359f5
Showing 1 changed file with 1 addition and 3 deletions.
diff --git 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);
 }
-