format

carolynzech · Dec 31, 2024 · 15ee0a6 · 15ee0a6
1 parent c4e2090
commit 15ee0a6
Showing 1 changed file with 0 additions and 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
@@ -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.