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/compat | |
parent | 62b673a6b8444c14c169a984dd6e3fc8f685851e (diff) |
Minor change to last commit
Diffstat (limited to 'src/compat')
-rw-r--r-- | src/compat/cvc3_compat.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/compat/cvc3_compat.cpp b/src/compat/cvc3_compat.cpp index f2ef9b95f..52174dce0 100644 --- a/src/compat/cvc3_compat.cpp +++ b/src/compat/cvc3_compat.cpp @@ -1818,7 +1818,7 @@ Expr ValidityChecker::recordExpr(const std::vector<std::string>& fields, Expr ValidityChecker::recSelectExpr(const Expr& record, const std::string& field) { Type t = record.getType(); const CVC4::Datatype& dt = ((CVC4::DatatypeType)t).getDatatype(); - const CVC4::Record& rec = t.getRecord(); + const CVC4::Record& rec = ((CVC4::DatatypeType)t).getRecord(); unsigned index = rec.getIndex(field); return d_em->mkExpr(CVC4::kind::APPLY_SELECTOR_TOTAL, dt[0][index].getSelector(), record); } @@ -2221,7 +2221,7 @@ Expr ValidityChecker::tupleExpr(const std::vector<Expr>& exprs) { } Expr ValidityChecker::tupleSelectExpr(const Expr& tuple, int index) { - CompatCheckArgument(index >= 0 && index < tuple.getType().getTupleLength(), + CompatCheckArgument(index >= 0 && index < ((CVC4::DatatypeType)tuple.getType()).getTupleLength(), "invalid index in tuple select"); const CVC4::Datatype& dt = ((CVC4::DatatypeType)tuple.getType()).getDatatype(); return d_em->mkExpr(CVC4::kind::APPLY_SELECTOR_TOTAL, dt[0][index].getSelector(), tuple); |