From 9d18fe328407b32a563755afd5182c2eef165b65 Mon Sep 17 00:00:00 2001 From: Braden Everson Date: Sun, 24 Mar 2024 17:25:06 -0500 Subject: [PATCH] Change recursive call --- src/core/graph/subterm.rs | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/core/graph/subterm.rs b/src/core/graph/subterm.rs index 341bf6d..f3c4937 100644 --- a/src/core/graph/subterm.rs +++ b/src/core/graph/subterm.rs @@ -84,8 +84,7 @@ impl Context { if !changed { return Ok(false); } else { - self.extract_subterms(outputs, modification_limit - modifications)?; + return Ok(changed || self.extract_subterms(outputs, modification_limit - modifications)?); } - Ok(changed) } }