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/parser/parser.cpp | |
| parent | 8e0fce94790249ff7aff84ff4500bb96e2ebb9e9 (diff) | |
Revert change to datatypes API for passing pointers, instead make deep copy during call to mkMutualDatatypes.
Diffstat (limited to 'src/parser/parser.cpp')
| -rw-r--r-- | src/parser/parser.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/parser/parser.cpp b/src/parser/parser.cpp index e46c13140..cef8c4be4 100644 --- a/src/parser/parser.cpp +++ b/src/parser/parser.cpp @@ -303,7 +303,7 @@ bool Parser::isUnresolvedType(const std::string& name) { return d_unresolved.find(getSort(name)) != d_unresolved.end(); } -void Parser::mkMutualDatatypeTypes(std::vector<Datatype*>& datatypes, std::vector<DatatypeType>& types) { +void Parser::mkMutualDatatypeTypes(std::vector<Datatype>& datatypes, std::vector<DatatypeType>& types) { try { d_exprManager->mkMutualDatatypeTypes(datatypes, d_unresolved, types); |