diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2017-04-05 13:32:35 -0500 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2017-04-05 13:32:35 -0500 |
| commit | c03e334d8d204d4083c4bdf2674d1438fdeab394 (patch) | |
| tree | 41b31d81af422e7143875ac63745375b7df77940 /src | |
| parent | d14cb15be7eb3482afeec277d56d6ed2e9cdc76a (diff) | |
Fix bug 698.
Diffstat (limited to 'src')
| -rw-r--r-- | src/theory/arith/theory_arith_private.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/theory/arith/theory_arith_private.cpp b/src/theory/arith/theory_arith_private.cpp index fc700fbdc..acb44bd43 100644 --- a/src/theory/arith/theory_arith_private.cpp +++ b/src/theory/arith/theory_arith_private.cpp @@ -4288,8 +4288,7 @@ DeltaRational TheoryArithPrivate::getDeltaValue(TNode n) const throw (DeltaRatio return value; } - case kind::MULT: - case kind::NONLINEAR_MULT: { // 2+ args + case kind::MULT: { // 2+ args DeltaRational value(1); unsigned variableParts = 0; for(TNode::iterator i = n.begin(), iend = n.end(); i != iend; ++i) { |