evil hack complete

egraphs-good · Feb 6, 2025 · 2296035 · 2296035
1 parent 7976e88
commit 2296035
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/dag_in_context/src/utility/terms.egg b/dag_in_context/src/utility/terms.egg
@@ -51,9 +51,9 @@
 (rule (
         (= lhs (Smaller (TCPair t1 cost1) (TCPair t2 cost2)))
         (= cost1 cost2) 
-        (!= t1 t2)
       )
-      ((panic "Should have been handled by PotentialExtractedExpr"))
+      ;; arbitrarily pick first one
+      ((union lhs (TCPair t1 cost1)))
       :ruleset terms-helpers)