diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-08-01 16:08:47 -0700 |
|---|---|---|
| committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-08-01 18:08:47 -0500 |
| commit | 113e7001e03ec7d1c2b79e0bb2cc9b762519bc22 (patch) | |
| tree | 287b845d4113f5ba06d84a2150b19f3e5aa42032 /src/theory | |
| parent | e6325ad7e1f69193c3f9c489f75b4308b733009e (diff) | |
Fix wrong evaluation of STRING_STOI (#2252)
Diffstat (limited to 'src/theory')
| -rw-r--r-- | src/theory/evaluator.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/evaluator.cpp b/src/theory/evaluator.cpp index dd40ace8a..02083069d 100644 --- a/src/theory/evaluator.cpp +++ b/src/theory/evaluator.cpp @@ -434,11 +434,11 @@ EvalResult Evaluator::evalInternal(TNode n, const String& s = results[currNode[0]].d_str; if (s.isNumber()) { - results[currNode] = EvalResult(Rational(-1)); + results[currNode] = EvalResult(Rational(s.toNumber())); } else { - results[currNode] = EvalResult(Rational(s.toNumber())); + results[currNode] = EvalResult(Rational(-1)); } break; } |