diff --git a/src/search/search_space.h b/src/search/search_space.h index b7d4b0cf07..01aca776ba 100644 --- a/src/search/search_space.h +++ b/src/search/search_space.h @@ -46,8 +46,8 @@ class SearchNode { const OperatorProxy &parent_op, int adjusted_cost); void update_closed_node_parent(const SearchNode &parent_node, - const OperatorProxy &parent_op, - int adjusted_cost); + const OperatorProxy &parent_op, + int adjusted_cost); void close(); void mark_as_dead_end();