From 99b2bfc0dc884b4ff1318ae47febe3154ba7cd63 Mon Sep 17 00:00:00 2001 From: Saul Shanabrook Date: Thu, 20 Feb 2025 11:50:20 -0500 Subject: [PATCH] Remove unused save egglog string in tests --- python/egglog/examples/higher_order_functions.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/python/egglog/examples/higher_order_functions.py b/python/egglog/examples/higher_order_functions.py index d82638cf..4077af6b 100644 --- a/python/egglog/examples/higher_order_functions.py +++ b/python/egglog/examples/higher_order_functions.py @@ -37,7 +37,7 @@ def incr_list(xs: MathList) -> MathList: return xs.map(lambda x: x + Math(1)) -egraph = EGraph(save_egglog_string=True) +egraph = EGraph() y = egraph.let("y", incr_list(MathList().append(Math(1)).append(Math(2)))) egraph.run(math_ruleset.saturate()) egraph.check(eq(y).to(MathList().append(Math(2)).append(Math(3))))