Skip to content

Commit

Permalink
Merge branch 'feature/substitute-cache' into devel
Browse files Browse the repository at this point in the history
  • Loading branch information
Kasper Peeters committed Nov 11, 2024
2 parents 4535a24 + 100410d commit a0036f7
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions core/algorithms/substitute.cc
Original file line number Diff line number Diff line change
Expand Up @@ -511,7 +511,7 @@ bool substitute::Rules::is_present(Ex& rules) const
bool rule_found = (rule_it != properties.end());
if (!rule_found) return false;

// rules should have l_checkpointed set
// rules should have l_cached set
bool rule_unchanged = (rules.state() == result_t::l_cached);

// If rule has been changed, erase it.
Expand Down Expand Up @@ -541,7 +541,7 @@ void substitute::Rules::cleanup()
if (it->first.expired()) {
it = properties.erase(it);
}
else if (it->first.lock()->state() != result_t::l_checkpointed) {
else if (it->first.lock()->state() != result_t::l_cached) {
it = properties.erase(it);
}
else {
Expand Down

0 comments on commit a0036f7

Please sign in to comment.