diff --git a/tests/expected/uninit/delayed-ub/delayed-ub.rs b/tests/expected/uninit/delayed-ub/delayed-ub.rs
index b27a3c484eab..73fb446ff7a0 100644
--- 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() {