chore(library/compiler/elim_unused_lets): style

2016-12-12 08:32:42 -08:00 · 2016-12-12 08:32:42 -08:00 · 502413d5dd
commit 502413d5dd
parent cf3f398753
1 changed files with 0 additions and 1 deletions
--- a/src/library/compiler/elim_unused_lets.cpp
+++ b/src/library/compiler/elim_unused_lets.cpp
@ -11,7 +11,6 @@ Author: Leonardo de Moura

 namespace lean {
 class elim_unused_lets_fn : public compiler_step_visitor {
-
    virtual expr visit_lambda(expr const & e) override {
        type_context::tmp_locals locals(m_ctx);
        expr t = e;