Fix wrong evaluation of STRING_STOI (#2252)

diff --git a/src/theory/evaluator.cpp b/src/theory/evaluator.cpp
index dd40ace8a07e3b3bfadcddf56e8987905a40efc0..02083069d016f50d72f988132e898ee33642d728 100644 (file)
--- 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;
         }