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