diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2016-02-15 13:38:51 -0600 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2016-02-15 13:38:51 -0600 |
commit | f31163c1f6bb1816365e9f22505d9558a7bc1802 (patch) | |
tree | 2ef3eadf500f51f90a9e7a45d4e0057336604fde /src/parser | |
parent | 62b673a6b8444c14c169a984dd6e3fc8f685851e (diff) |
Minor change to last commit
Diffstat (limited to 'src/parser')
-rw-r--r-- | src/parser/cvc/Cvc.g | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/parser/cvc/Cvc.g b/src/parser/cvc/Cvc.g index 4aff5cd2f..fbc6007fe 100644 --- a/src/parser/cvc/Cvc.g +++ b/src/parser/cvc/Cvc.g @@ -1103,7 +1103,7 @@ type[CVC4::Type& t, : restrictedTypePossiblyFunctionLHS[t,check,lhs] { if(lhs) { assert(t.isTuple()); - args = t.getTupleTypes(); + args = ((DatatypeType)t).getTupleTypes(); } else { args.push_back(t); } @@ -1539,7 +1539,7 @@ tupleStore[CVC4::Expr& f] if(! t.isTuple()) { PARSER_STATE->parseError("tuple-update applied to non-tuple"); } - size_t length = t.getTupleLength(); + size_t length = ((DatatypeType)t).getTupleLength(); if(k >= length) { std::stringstream ss; ss << "tuple is of length " << length << "; cannot update index " << k; @@ -1576,7 +1576,7 @@ recordStore[CVC4::Expr& f] << "its type: " << t; PARSER_STATE->parseError(ss.str()); } - const Record& rec = t.getRecord(); + const Record& rec = ((DatatypeType)t).getRecord(); if(! rec.contains(id)) { PARSER_STATE->parseError(std::string("no such field `") + id + "' in record"); } @@ -1707,7 +1707,7 @@ postfixTerm[CVC4::Expr& f] if(! t.isRecord()) { PARSER_STATE->parseError("record-select applied to non-record"); } - const Record& rec = t.getRecord(); + const Record& rec = ((DatatypeType)t).getRecord(); if(!rec.contains(id)){ PARSER_STATE->parseError(std::string("no such field `") + id + "' in record"); } @@ -1722,7 +1722,7 @@ postfixTerm[CVC4::Expr& f] if(! t.isTuple()) { PARSER_STATE->parseError("tuple-select applied to non-tuple"); } - size_t length = t.getTupleLength(); + size_t length = ((DatatypeType)t).getTupleLength(); if(k >= length) { std::stringstream ss; ss << "tuple is of length " << length << "; cannot access index " << k; |