diff --git a/tests/expected/function-contract/assigns_expr_pass.rs b/tests/expected/function-contract/assigns_expr_pass.rs
index 107c137886ba..e90c201624fa 100644
--- a/tests/expected/function-contract/assigns_expr_pass.rs
+++ b/tests/expected/function-contract/assigns_expr_pass.rs
@@ -12,4 +12,4 @@ fn modify(ptr: &mut Box<u32>) {
 fn main() {
     let mut i = Box::new(kani::any());
     modify(&mut i);
-}
\ No newline at end of file
+}
diff --git a/tests/expected/function-contract/assigns_fail.rs b/tests/expected/function-contract/assigns_fail.rs
index 3fee15716655..26517526038b 100644
--- a/tests/expected/function-contract/assigns_fail.rs
+++ b/tests/expected/function-contract/assigns_fail.rs
@@ -12,4 +12,4 @@ fn main() {
     let _ = Box::new(());
     let mut i = kani::any();
     modify(&mut i);
-}
\ No newline at end of file
+}
diff --git a/tests/expected/function-contract/assigns_pass.rs b/tests/expected/function-contract/assigns_pass.rs
index 2690fb54117f..f76f1a6a6c22 100644
--- a/tests/expected/function-contract/assigns_pass.rs
+++ b/tests/expected/function-contract/assigns_pass.rs
@@ -13,4 +13,4 @@ fn main() {
     let _ = Box::new(());
     let mut i = kani::any();
     modify(&mut i);
-}
\ No newline at end of file
+}