Skip to content

Commit

Permalink
[issue1140] Fix style.
Browse files Browse the repository at this point in the history
  • Loading branch information
remochristen committed Jul 11, 2024
1 parent d1c45cf commit a3a1e72
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/search/search_space.h
Original file line number Diff line number Diff line change
Expand Up @@ -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();

Expand Down

0 comments on commit a3a1e72

Please sign in to comment.