diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-02-06 19:12:29 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-06 17:12:29 -0800 |
| commit | c98585d9913878cfe5328fe98fb4357f911b29b0 (patch) | |
| tree | dfa4b4e2b29f69489243778b8beb57e5581c4ecd /src/theory/arith | |
| parent | babbe0e30d769b5f68cb3f36820fbb5e176de7c5 (diff) | |
Fix exact sqrt (#3721)
Co-authored-by: Ahmed Irfan <43099566+ahmed-irfan@users.noreply.github.com>
Diffstat (limited to 'src/theory/arith')
| -rw-r--r-- | src/theory/arith/nl_model.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/arith/nl_model.cpp b/src/theory/arith/nl_model.cpp index eff810522..54ae4c52a 100644 --- a/src/theory/arith/nl_model.cpp +++ b/src/theory/arith/nl_model.cpp @@ -1200,8 +1200,8 @@ bool NlModel::getApproximateSqrt(Node c, Node& l, Node& u, unsigned iter) const Rational curr_sq = curr * curr; if (curr_sq == rc) { - rl = curr_sq; - ru = curr_sq; + rl = curr; + ru = curr; break; } else if (curr_sq < rc) |