remove unsound rule

egraphs-good · Jan 9, 2025 · 2873c56 · 2873c56
1 parent 0f1a22b
commit 2873c56
Showing 1 changed file with 0 additions and 8 deletions.
diff --git a/dag_in_context/src/interval_analysis.egg b/dag_in_context/src/interval_analysis.egg
@@ -248,14 +248,6 @@
       :ruleset interval-analysis)
 
 ; Abs
-
-; absolute value is non-negative
-(rule (
-        (= lhs (Uop (Abs) x))
-      )
-      ((set (lo-bound lhs) (IntB 0)))
-      :ruleset interval-analysis)
-
 ; abs(x) = x if x >= 0
 (rule (
         (= lhs (Uop (Abs) x))