projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4713dd0) | patch
I replaced the pattern "x = x + y;" with "x += y;" in a few places in DeltaRational...
authorTim King <taking@cs.nyu.edu>
Thu, 17 Feb 2011 01:10:38 +0000 (01:10 +0000)
committerTim King <taking@cs.nyu.edu>
Thu, 17 Feb 2011 01:10:38 +0000 (01:10 +0000)
commita945d0b3c3797c6662fe85273ff85f9dafc9c406
treeb2ef066543fa4c7e9faf76219c496a714f93c8c0tree
parent4713dd0a7fcf73a73909cc35e9e1d615022c8975commit | 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.
src/theory/arith/delta_rational.h diff | blob | history