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/smt | |
| 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/smt')
| -rw-r--r-- | src/smt/boolean_terms.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/smt/boolean_terms.cpp b/src/smt/boolean_terms.cpp index 0771cfc06..51ae0fd11 100644 --- a/src/smt/boolean_terms.cpp +++ b/src/smt/boolean_terms.cpp @@ -288,8 +288,8 @@ const Datatype& BooleanTermConverter::convertDatatype(const Datatype& dt) throw( } newDt.addConstructor(ctor); } - vector<DatatypeType> newDttVector; - NodeManager::currentNM()->toExprManager()->mkMutualDatatypeTypes(newDtVector, unresolvedTypes, newDttVector); + vector<DatatypeType> newDttVector = + NodeManager::currentNM()->toExprManager()->mkMutualDatatypeTypes(newDtVector, unresolvedTypes); DatatypeType& newDtt = newDttVector.front(); const Datatype& newD = newDtt.getDatatype(); for(c = dt.begin(); c != dt.end(); ++c) { |