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.

1 files changed, 4 insertions, 4 deletions

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);
   }