Skip to content

Commit

Permalink
wip
Browse files Browse the repository at this point in the history
  • Loading branch information
felixguendling committed Jul 19, 2024
1 parent bbdcdf9 commit 4ed234b
Show file tree
Hide file tree
Showing 2 changed files with 4,145 additions and 2 deletions.
7 changes: 5 additions & 2 deletions src/extract.cc
Original file line number Diff line number Diff line change
Expand Up @@ -565,8 +565,11 @@ void extract(bool const with_platforms,
w.add_restriction(r);

utl::sort(w.r_->multi_level_elevators_);
utl::sort(pl->node_pos_,
[](auto&& a, auto&& b) { return a.first < b.first; });

if (pl) {
utl::sort(pl->node_pos_,
[](auto&& a, auto&& b) { return a.first < b.first; });
}

w.r_->write(out);
}
Expand Down
Loading

0 comments on commit 4ed234b

Please sign in to comment.