[PPL-devel] [GIT] ppl/ppl(master): Use add_mul_assign().

[Roberto Bagnara]

Module: ppl/ppl
Branch: master
Commit: e570c208e2a15db4cc6d03ae463d5f8eeac8b4f1
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e570c208e2a15db4cc6d03ae463d5f8eeac8b4f1

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri Apr  6 07:14:21 2012 +0200

Use add_mul_assign().

---

 src/PIP_Tree.cc |   10 +++++-----
 1 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/PIP_Tree.cc b/src/PIP_Tree.cc
index 15ccca7..8e4f09b 100644
--- a/src/PIP_Tree.cc
+++ b/src/PIP_Tree.cc
@@ -48,13 +48,13 @@ pos_rem_assign(Coefficient& x,
 
 class Add_Mul_Assign_Row_Helper1 {
 public:
-  Add_Mul_Assign_Row_Helper1(Coefficient_traits::const_reference c1)
-    : c(c1) {
+  Add_Mul_Assign_Row_Helper1(Coefficient_traits::const_reference coeff)
+    : c(coeff) {
   }
 
   void
   operator()(Coefficient& x, Coefficient_traits::const_reference y) const {
-    x += c * y;
+    add_mul_assign(x, c, y);
   }
 
 private:
@@ -64,8 +64,8 @@ private:
 
 class Add_Mul_Assign_Row_Helper2 {
 public:
-  Add_Mul_Assign_Row_Helper2(Coefficient_traits::const_reference c1)
-    : c(c1) {
+  Add_Mul_Assign_Row_Helper2(Coefficient_traits::const_reference coeff)
+    : c(coeff) {
   }
 
   void