From 9b3c5499d253e964c7bf0239271940ac756a67fb Mon Sep 17 00:00:00 2001
From: ajreynol <andrew.j.reynolds@gmail.com>
Date: Tue, 1 Nov 2016 14:23:30 -0500
Subject: Revert change to Datatypes API to return vector of DatatypeTypes, as
 before.  ASAN failures with datatypes should now be mostly fixed.

---
 src/smt/boolean_terms.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/smt/boolean_terms.cpp')

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) {
-- 
cgit v1.2.3