From 15ee0a6ca6fb405f8d3e67bf554412ec5423a2e8 Mon Sep 17 00:00:00 2001 From: Carolyn Zech Date: Tue, 31 Dec 2024 11:06:29 -0500 Subject: [PATCH] format --- .../function-contract/as-assertions/assert-preconditions-pass.rs | 1 - 1 file changed, 1 deletion(-) diff --git a/tests/expected/function-contract/as-assertions/assert-preconditions-pass.rs b/tests/expected/function-contract/as-assertions/assert-preconditions-pass.rs index df0757a5a897..2c1cd2b3df75 100644 --- a/tests/expected/function-contract/as-assertions/assert-preconditions-pass.rs +++ b/tests/expected/function-contract/as-assertions/assert-preconditions-pass.rs @@ -25,7 +25,6 @@ fn add_one(ptr: &mut u32) { *ptr += 1; } - mod should_pass { use crate::*; // Same as should_fail::prove_add_one, with the added assumption of add_three's precondition.