Skip to content

Commit

Permalink
updates before remove
Browse files Browse the repository at this point in the history
  • Loading branch information
hlefebvr committed Oct 27, 2023
1 parent e911dda commit 0e64cc0
Showing 1 changed file with 2 additions and 0 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -357,6 +357,8 @@ void idol::OptimizerWithLazyUpdates<VarImplT, CtrImplT>::remove(const Var& t_var
template<class VarImplT, class CtrImplT>
void idol::OptimizerWithLazyUpdates<VarImplT, CtrImplT>::remove(const Ctr& t_ctr) {

update();

const unsigned index = parent().get_ctr_index(t_ctr);

if (m_constraints[index].is_to_be_updated()) {
Expand Down

0 comments on commit 0e64cc0

Please sign in to comment.