Skip to content

Commit

Permalink
use RAII to temporarily change loop order
Browse files Browse the repository at this point in the history
  • Loading branch information
Alexander Voigt authored and Alexander Voigt committed Jan 20, 2017
1 parent 59c7d41 commit 314bf06
Showing 1 changed file with 2 additions and 4 deletions.
6 changes: 2 additions & 4 deletions src/standard_model.cpp
Expand Up @@ -415,11 +415,9 @@ int Standard_model::solve_ewsb_iteratively(int loop_order)
{
// temporarily set `ewsb_loop_order' to `loop_order' and do
// iteration
const int old_loop_order = ewsb_loop_order;
const auto save_loop_order_raii = make_raii_save(ewsb_loop_order);
ewsb_loop_order = loop_order;
const int status = solve_ewsb_iteratively();
ewsb_loop_order = old_loop_order;
return status;
return solve_ewsb_iteratively();
}


Expand Down

0 comments on commit 314bf06

Please sign in to comment.