diff options
| -rw-r--r-- | src/expr/type_node.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/expr/type_node.cpp b/src/expr/type_node.cpp index 0aa622bfb..e6c695dd6 100644 --- a/src/expr/type_node.cpp +++ b/src/expr/type_node.cpp @@ -117,7 +117,8 @@ bool TypeNode::isFiniteInternal(bool usortFinite) { ret = usortFinite; } - else if (isBoolean() || isBitVector() || isFloatingPoint()) + else if (isBoolean() || isBitVector() || isFloatingPoint() + || isRoundingMode()) { ret = true; } |