diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2016-11-01 14:23:30 -0500 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2016-11-01 14:23:30 -0500 |
commit | 9b3c5499d253e964c7bf0239271940ac756a67fb (patch) | |
tree | 456727dbcf64624bcb91d4d01bfb19627633d559 /src/compat/cvc3_compat.cpp | |
parent | f4c783f97201753bf63c70c5c16b7861a236d57c (diff) |
Revert change to Datatypes API to return vector of DatatypeTypes, as before. ASAN failures with datatypes should now be mostly fixed.
Diffstat (limited to 'src/compat/cvc3_compat.cpp')
-rw-r--r-- | src/compat/cvc3_compat.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/compat/cvc3_compat.cpp b/src/compat/cvc3_compat.cpp index 5de62a458..8c9992164 100644 --- a/src/compat/cvc3_compat.cpp +++ b/src/compat/cvc3_compat.cpp @@ -1415,8 +1415,7 @@ void ValidityChecker::dataType(const std::vector<std::string>& names, } // Make the datatypes. - vector<CVC4::DatatypeType> dtts; - d_em->mkMutualDatatypeTypes(dv, dtts); + vector<CVC4::DatatypeType> dtts = d_em->mkMutualDatatypeTypes(dv); // Post-process to register the names of everything with this validity checker. // This is necessary for the compatibility layer because cons/sel operations are |