From 5ab69262c42f4de10ea295a1f0320de8002b2f53 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Fri, 9 Nov 2018 15:10:28 -0800
Subject: [PATCH] chore(library/compiler/util): remove leftover

---
 src/library/compiler/util.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/library/compiler/util.cpp b/src/library/compiler/util.cpp
index 18670eca1a..4df90dbc05 100644
--- 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);
         }