I replaced the pattern "x = x + y;" with "x += y;" in a few places in DeltaRational...

diff --git a/src/theory/arith/delta_rational.h b/src/theory/arith/delta_rational.h
index b75f5334c66e463d2a560447c7628cb974344bd9..c70d26db515efa44ab31a6f019c32732c61518f2 100644 (file)
--- 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);
   }