Skip to content

Commit

Permalink
Small fix.
Browse files Browse the repository at this point in the history
  • Loading branch information
tanjaschindler committed Dec 20, 2024
1 parent 83c3318 commit a14e96b
Showing 1 changed file with 4 additions and 2 deletions.
6 changes: 4 additions & 2 deletions src/search/tasks/root_task.cc
Original file line number Diff line number Diff line change
Expand Up @@ -361,7 +361,8 @@ void TaskParser::read_pre_post_axiom(ExplicitOperator &op, const vector<Explicit
check_layering_condition(axiom_layer, conditions, variables, use_nondefault_values);
}
op.preconditions.emplace_back(precondition);
op.effects.emplace_back(postcondition, move(conditions));
ExplicitEffect eff = {postcondition, move(conditions)};
op.effects.emplace_back(eff);
lexer.confirm_end_of_line(context);
}

Expand All @@ -382,7 +383,8 @@ void TaskParser::read_conditional_effect(ExplicitOperator &op, const vector<Expl
int value_post = read_int("variable value postcondition");
FactPair postcondition = FactPair(var, value_post);
check_fact(postcondition, variables);
op.effects.emplace_back(postcondition, move(conditions));
ExplicitEffect eff = {postcondition, move(conditions)};
op.effects.emplace_back(eff);
lexer.confirm_end_of_line(context);
}

Expand Down

0 comments on commit a14e96b

Please sign in to comment.