From 4425feaebbe6d56899b5760440836e4e1e7f6561 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 23 Jan 2020 16:08:52 -0800 Subject: [PATCH] chore: fix tests --- tests/lean/macroscopes.lean.expected.out | 1 - 1 file changed, 1 deletion(-) 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 -