diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-02-07 15:34:23 -0500 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-02-07 15:34:23 -0500 |
commit | 110376d88d2e317e24f2376de123521fbecc168d (patch) | |
tree | bf7325bd2347d3a96cbbecb3217585bad9f37f80 /src/theory | |
parent | c6c20b80eb836a3b44f15835f91d6d1d7af342df (diff) |
Fix error in tuple type-checking.
Diffstat (limited to 'src/theory')
-rw-r--r-- | src/theory/datatypes/theory_datatypes_type_rules.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/datatypes/theory_datatypes_type_rules.h b/src/theory/datatypes/theory_datatypes_type_rules.h index ade9ffc26..9b4f24566 100644 --- a/src/theory/datatypes/theory_datatypes_type_rules.h +++ b/src/theory/datatypes/theory_datatypes_type_rules.h @@ -285,7 +285,7 @@ struct TupleSelectTypeRule { const TupleSelect& ts = n.getOperator().getConst<TupleSelect>(); TypeNode tupleType = n[0].getType(check); if(!tupleType.isTuple()) { - if(!tupleType.hasAttribute(expr::DatatypeRecordAttr())) { + if(!tupleType.hasAttribute(expr::DatatypeTupleAttr())) { throw TypeCheckingExceptionPrivate(n, "Tuple-select expression formed over non-tuple"); } tupleType = tupleType.getAttribute(expr::DatatypeTupleAttr()); @@ -309,7 +309,7 @@ struct TupleUpdateTypeRule { TypeNode newValue = n[1].getType(check); if(check) { if(!tupleType.isTuple()) { - if(!tupleType.hasAttribute(expr::DatatypeRecordAttr())) { + if(!tupleType.hasAttribute(expr::DatatypeTupleAttr())) { throw TypeCheckingExceptionPrivate(n, "Tuple-update expression formed over non-tuple"); } tupleType = tupleType.getAttribute(expr::DatatypeTupleAttr()); |