Remove redundant rewrite in f64 negation test

egraphs-good · Jul 18, 2023 · 9d47746 · 9d47746
1 parent f101b14
commit 9d47746
Showing 1 changed file with 0 additions and 7 deletions.
diff --git a/python/tests/test_high_level.py b/python/tests/test_high_level.py
@@ -233,12 +233,5 @@ def test_f64_negation() -> None:
 
     # expr3 = -(-2.0)
     expr3 = egraph.define("expr3", -(-f64(2.0)))
-
-    x, y = vars_("x y", f64)
-
-    egraph.register(rewrite(-(-x)).to(x))
-
-    egraph.run(10)
-
     egraph.check(eq(expr1).to(-expr2))
     egraph.check(eq(expr3).to(expr2))