diff --git a/tests/lean/syntheticOpaqueReadOnly.lean.expected.out b/tests/lean/syntheticOpaqueReadOnly.lean.expected.out
index 02e4a84d62c4..1fe92a5d80cd 100644
--- a/tests/lean/syntheticOpaqueReadOnly.lean.expected.out
+++ b/tests/lean/syntheticOpaqueReadOnly.lean.expected.out
@@ -1 +1 @@
-false
\ No newline at end of file
+false