From 502413d5ddd3ec01aa2adf4201e11448e20e4b8a Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Mon, 12 Dec 2016 08:32:42 -0800 Subject: [PATCH] chore(library/compiler/elim_unused_lets): style --- src/library/compiler/elim_unused_lets.cpp | 1 - 1 file changed, 1 deletion(-) diff --git a/src/library/compiler/elim_unused_lets.cpp b/src/library/compiler/elim_unused_lets.cpp index 4c471caa7f..1cc289cb25 100644 --- 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;