From e4daca8d6b02677115282abff8515a9afb6a2a29 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leomoura@amazon.com>
Date: Mon, 22 Apr 2024 02:54:24 +0200
Subject: [PATCH] chore: remove dead code at kernel `compare` (#3966)

---
 src/kernel/declaration.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/kernel/declaration.cpp b/src/kernel/declaration.cpp
index 122de461e9e7..f404131dbcad 100644
--- a/src/kernel/declaration.cpp
+++ b/src/kernel/declaration.cpp
@@ -30,7 +30,6 @@ int compare(reducibility_hints const & h1, reducibility_hints const & h2) {
                 return -1; /* unfold f1 */
             else
                 return 1;  /* unfold f2 */
-            return h1.get_height() > h2.get_height() ? -1 : 1;
         } else {
             return 0; /* reduce both */
         }