From 5af597aa1731f5439d2851a1749c9db8f8930495 Mon Sep 17 00:00:00 2001
From: Aayush Sabharwal <aayush.sabharwal@gmail.com>
Date: Wed, 6 Nov 2024 13:31:39 +0530
Subject: [PATCH] fix: lower default `maxiters` for `fixpoint_sub`

---
 src/variable.jl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/variable.jl b/src/variable.jl
index ba446a8e2..8c499ac72 100644
--- a/src/variable.jl
+++ b/src/variable.jl
@@ -533,7 +533,7 @@ infinite loops in cases where the substitutions in `dict` are circular
 
 See also: [`fast_substitute`](@ref).
 """
-function fixpoint_sub(x, dict; operator = Nothing, maxiters = 10000)
+function fixpoint_sub(x, dict; operator = Nothing, maxiters = 1000)
     dict = subrules_to_dict(dict)
     y = fast_substitute(x, dict; operator)
     while !isequal(x, y) && maxiters > 0