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);
         }