diff options
Diffstat (limited to 'src/expr/type.cpp')
| -rw-r--r-- | src/expr/type.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/expr/type.cpp b/src/expr/type.cpp index 521e177d3..af333f9d3 100644 --- a/src/expr/type.cpp +++ b/src/expr/type.cpp @@ -118,7 +118,7 @@ Type::operator IntegerType() const throw (AssertionException) { /** Is this the real type? */ bool Type::isReal() const { NodeManagerScope nms(d_nodeManager); - return d_typeNode->isInteger(); + return d_typeNode->isReal(); } /** Cast to a real type */ |