From 21b8199bc4a74bbe3a4aff2ed71ccea04d24b9a5 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Wed, 26 Sep 2018 08:48:06 -0700
Subject: [PATCH] feat(library/compiler/util): do not consider constructors to
 be cost zero

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

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