diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-08-01 23:25:04 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-08-01 23:25:04 -0500 |
| commit | e3d4f6da2307659999e5eb5894d63982e8d487c5 (patch) | |
| tree | 06a161168a6ab0aefd2fc1dd370a75538187017f /src/theory/evaluator.cpp | |
| parent | ce9e2004b59a48c54b78536a53e66de8be94ab7c (diff) | |
| parent | 1b89c8628eee3d081e91bf99745a16a21c40bf8a (diff) | |
Merge branch 'master' into rm_svnrm_svn
Diffstat (limited to 'src/theory/evaluator.cpp')
| -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; } |