diff --git a/tests/lean/macroscopes.lean.expected.out b/tests/lean/macroscopes.lean.expected.out
index 1486433129..4fce7f8bcf 100644
--- a/tests/lean/macroscopes.lean.expected.out
+++ b/tests/lean/macroscopes.lean.expected.out
@@ -11,4 +11,3 @@ x._@.main.1.2.3.foo.4.5.bla.bla._hyg.6
 x._@.main.1.2.3.foo.4.5.bla.bla._hyg.6.7
 y._@.main.1.2.3.foo.4.5.bla.bla._hyg.6.7
 z.w._@.main.1.2.3.foo.4.5.bla.bla._hyg.6.7
-