diff --git a/src/library/compiler/util.cpp b/src/library/compiler/util.cpp
index 0fc978b876..478c91b6c7 100644
--- a/src/library/compiler/util.cpp
+++ b/src/library/compiler/util.cpp
@@ -363,8 +363,6 @@ unsigned get_lcnf_size(environment const & env, expr e) {
                 e = app_fn(e);
             }
             return r;
-        } else if (is_constructor_app(env, e)) {
-            return 0;
         } else {
             return 1;
         }