Skip to content

Commit

Permalink
Bump to Arbor v0.9.0.
Browse files Browse the repository at this point in the history
  • Loading branch information
thorstenhater committed Aug 31, 2023
1 parent 065b1c9 commit e999d53
Showing 1 changed file with 5 additions and 2 deletions.
7 changes: 5 additions & 2 deletions src/gui_state.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -736,8 +736,11 @@ namespace {
}
}
}
std::sort(state_vars.begin(), state_vars.end());
std::unique(state_vars.begin(), state_vars.end());
{
std::sort(state_vars.begin(), state_vars.end());
auto last = std::unique(state_vars.begin(), state_vars.end());
state_vars.erase(last, state_vars.end());
}

for (const auto& locset: state.locsets) {
with_id id{locset};
Expand Down

0 comments on commit e999d53

Please sign in to comment.