From: Tim King <taking@cs.nyu.edu>
Date: Thu, 17 Feb 2011 01:10:38 +0000 (+0000)
Subject: I replaced the pattern "x = x + y;" with "x += y;" in a few places in DeltaRational... 
X-Git-Tag: cvc5-1.0.0~8707
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a945d0b3c3797c6662fe85273ff85f9dafc9c406;p=cvc5.git

I replaced the pattern "x = x + y;" with "x += y;" in a few places in DeltaRational. This addresses a point that came up in the code review.
---

diff --git a/src/theory/arith/delta_rational.h b/src/theory/arith/delta_rational.h
index b75f5334c..c70d26db5 100644
--- a/src/theory/arith/delta_rational.h
+++ b/src/theory/arith/delta_rational.h
@@ -96,15 +96,15 @@ public:
   }
 
   DeltaRational& operator*=(const CVC4::Rational& a){
-    c = c * a;
-    k = k * a;
+    c *=  a;
+    k *=  a;
 
     return *(this);
   }
 
   DeltaRational& operator+=(DeltaRational& other){
-    c =c + other.c;
-    k =k + other.k;
+    c += other.c;
+    k += other.k;
 
     return *(this);
   }