chore: remove dead code at kernel compare (#3966)

leanprover · Apr 22, 2024 · e4daca8 · e4daca8
1 parent 3dd398a
commit e4daca8
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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 */
         }