diff options
author | Tim King <taking@cs.nyu.edu> | 2011-02-17 01:10:38 +0000 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2011-02-17 01:10:38 +0000 |
commit | a945d0b3c3797c6662fe85273ff85f9dafc9c406 (patch) | |
tree | b2ef066543fa4c7e9faf76219c496a714f93c8c0 /src | |
parent | 4713dd0a7fcf73a73909cc35e9e1d615022c8975 (diff) |
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.
Diffstat (limited to 'src')
-rw-r--r-- | src/theory/arith/delta_rational.h | 8 |
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); } |