Change recursive call

unda-ml · Mar 24, 2024 · 9d18fe3 · 9d18fe3
1 parent 908c88f
commit 9d18fe3
Showing 1 changed file with 1 addition and 2 deletions.
diff --git 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)
     }
 }