chore: fix tests

2020-01-23 16:08:52 -08:00 · 2020-01-23 16:08:52 -08:00 · 4425feaebb
commit 4425feaebb
parent 95f951bdf2
1 changed files with 0 additions and 1 deletions
--- 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
-