chore(library/compiler/util): remove leftover

2018-11-09 15:10:28 -08:00 · 2018-11-09 15:10:28 -08:00 · 5ab69262c4
commit 5ab69262c4
parent 7c86a4dae7
1 changed files with 0 additions and 1 deletions
--- a/src/library/compiler/util.cpp
+++ b/src/library/compiler/util.cpp
@ -298,7 +298,6 @@ unsigned get_lcnf_size(environment const & env, expr e) {
    case expr_kind::Const:
        return 1;
    case expr_kind::Lambda:
-        r = 1;
        while (is_lambda(e)) {
            e = binding_body(e);
        }