Skip to content

Commit

Permalink
Fix style.
Browse files Browse the repository at this point in the history
  • Loading branch information
ClemensBuechner committed Jul 9, 2024
1 parent 587623e commit a707e7c
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/search/landmarks/landmark_heuristic.cc
Original file line number Diff line number Diff line change
Expand Up @@ -135,7 +135,7 @@ void LandmarkHeuristic::generate_preferred_operators(
set_preferred(op);
}
if (lm_graph->contains_conjunctive_landmark(
fact_proxy.get_pair())) {
fact_proxy.get_pair())) {
vector<LandmarkNode *> conjunctive_landmarks =
lm_graph->get_conjunctive_landmarks(fact_proxy.get_pair());
for (auto conj_lm : conjunctive_landmarks) {
Expand Down

0 comments on commit a707e7c

Please sign in to comment.