Formatting nit

model-checking · Jul 24, 2024 · 7d69b02 · 7d69b02
1 parent 3a0c190
commit 7d69b02
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/tests/expected/uninit/delayed-ub/delayed-ub.rs b/tests/expected/uninit/delayed-ub/delayed-ub.rs
@@ -89,7 +89,6 @@ fn delayed_ub_closure_laundered() {
     }
 }
 
-
 /// Delayed UB via mutable pointer write using `copy_nonoverlapping` under the hood.
 #[kani::proof]
 fn delayed_ub_copy() {