diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2016-11-01 13:33:38 -0500 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2016-11-01 13:33:38 -0500 |
commit | f4c783f97201753bf63c70c5c16b7861a236d57c (patch) | |
tree | 8e4a9e85d7485200bdfb52b5afc5032993938488 /src/compat | |
parent | 8e0fce94790249ff7aff84ff4500bb96e2ebb9e9 (diff) |
Revert change to datatypes API for passing pointers, instead make deep copy during call to mkMutualDatatypes.
Diffstat (limited to 'src/compat')
-rw-r--r-- | src/compat/cvc3_compat.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/compat/cvc3_compat.cpp b/src/compat/cvc3_compat.cpp index 0482c99ee..5de62a458 100644 --- a/src/compat/cvc3_compat.cpp +++ b/src/compat/cvc3_compat.cpp @@ -1384,11 +1384,11 @@ void ValidityChecker::dataType(const std::vector<std::string>& names, CompatCheckArgument(names.size() == types.size(), types, "Expected names and types vectors to be of equal " "length."); - vector<CVC4::Datatype*> dv; + vector<CVC4::Datatype> dv; // Set up the datatype specifications. for(unsigned i = 0; i < names.size(); ++i) { - CVC4::Datatype* dt = new CVC4::Datatype(names[i], false); + CVC4::Datatype dt(names[i], false); CompatCheckArgument(constructors[i].size() == selectors[i].size(), "Expected sub-vectors in constructors and selectors " "vectors to match in size."); @@ -1409,7 +1409,7 @@ void ValidityChecker::dataType(const std::vector<std::string>& names, ctor.addArg(selectors[i][j][k], exprToType(types[i][j][k])); } } - dt->addConstructor(ctor); + dt.addConstructor(ctor); } dv.push_back(dt); } |