From a945d0b3c3797c6662fe85273ff85f9dafc9c406 Mon Sep 17 00:00:00 2001
From: Tim King <taking@cs.nyu.edu>
Date: Thu, 17 Feb 2011 01:10:38 +0000
Subject: [PATCH] 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.

---
 src/theory/arith/delta_rational.h | 8 ++++----
 1 file 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);
   }
-- 
2.30.2