Recursive bit

unda-ml · Mar 24, 2024 · 908c88f · 908c88f
1 parent 20d6bf8
commit 908c88f
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/src/core/graph/subterm.rs b/src/core/graph/subterm.rs
@@ -80,6 +80,12 @@ impl Context {
             }
         }
 
+        //Recursive recall if we changed something and modifications are still available
+        if !changed {
+            return Ok(false);
+        } else {
+            self.extract_subterms(outputs, modification_limit - modifications)?;
+        }
         Ok(changed)
     }
 }