diff options
Diffstat (limited to 'src/expr')
| -rw-r--r-- | src/expr/datatype.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/expr/datatype.cpp b/src/expr/datatype.cpp index 001f38a79..12cab48cc 100644 --- a/src/expr/datatype.cpp +++ b/src/expr/datatype.cpp @@ -859,6 +859,7 @@ bool DatatypeConstructor::isInterpretedFinite() const throw(IllegalArgumentExcep if(self.getAttribute(DatatypeUFiniteComputedAttr())) { return self.getAttribute(DatatypeUFiniteAttr()); } + bool success = true; for(const_iterator i = begin(), i_end = end(); i != i_end; ++i) { TypeNode t = TypeNode::fromType( (*i).getRangeType() ); if(!t.isInterpretedFinite()) { |