Minor simplification in ExprNode::matchLinearCombinationOfVariables()

2021-10-29 15:10:57 +02:00 · 2021-10-29 15:10:57 +02:00 · 6ad3d02ec6
parent c4e9432eef
commit 6ad3d02ec6
1 changed files with 1 additions and 3 deletions
--- a/src/ExprNode.cc
+++ b/src/ExprNode.cc
@ -8521,10 +8521,8 @@ ExprNode::matchLinearCombinationOfVariables(bool variable_obligatory_in_each_ter

  vector<tuple<int, int, int, double>> result;

-  for (const auto &it : terms)
+  for (auto [term, sign] : terms)
    {
-      expr_t term = it.first;
-      int sign = it.second;
      auto m = term->matchVariableTimesConstantTimesParam(variable_obligatory_in_each_term);
      get<3>(m) *= sign;
      result.push_back(m);