diff options
-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; } |