Fix CONST_RATIONAL conversion in evaluationeval5

1 files changed, 1 insertions, 2 deletions

diff --git a/src/theory/evaluator.cpp b/src/theory/evaluator.cpp
index 55d454d89..019ca86d5 100644
--- a/src/theory/evaluator.cpp
+++ b/src/theory/evaluator.cpp
@@ -103,8 +103,7 @@ EvalResult Evaluator::evalInternal(TNode n,
         case kind::CONST_RATIONAL:
         {
           const Rational& r = currNodeVal.getConst<Rational>();
-          Assert(r.getDenominator() == 1);
-          results[currNode] = EvalResult(r.getNumerator());
+          results[currNode] = EvalResult(r);
           break;
         }