From 110376d88d2e317e24f2376de123521fbecc168d Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Thu, 7 Feb 2013 15:34:23 -0500 Subject: [PATCH] Fix error in tuple type-checking. --- src/theory/datatypes/theory_datatypes_type_rules.h | 4 ++-- 1 file 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(); 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()); -- 2.30.2