From 1e219044969b110039be61210550aa4c0008c31c Mon Sep 17 00:00:00 2001
From: Houtan Bastani <houtan@dynare.org>
Date: Mon, 11 Mar 2019 15:51:41 +0100
Subject: [PATCH] use emplace_back instead of push_back

---
 src/ExprNode.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ExprNode.cc b/src/ExprNode.cc
index 4f10ecb8..562d3c61 100644
--- a/src/ExprNode.cc
+++ b/src/ExprNode.cc
@@ -5596,7 +5596,7 @@ BinaryOpNode::getPacEC(BinaryOpNode *bopn, int lhs_symb_id, int lhs_orig_symb_id
               }
           if (id == lhs_symb_id || id == lhs_orig_symb_id)
             istarget = false;
-          ordered_symb_ids.push_back({orig_id, istarget, scale});
+          ordered_symb_ids.emplace_back(orig_id, istarget, scale);
         }
       ec_params_and_vars = make_pair(optim_param_symb_id, ordered_symb_ids);
     }