diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-12-11 18:09:16 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-12-11 18:09:16 -0600 |
commit | d803e7fcf60f9bb847853fe6ccf7589b94b76922 (patch) | |
tree | bba13d186c71fb152df9ca6fb21820f28e812b04 /src/expr/expr_manager_template.cpp | |
parent | 23eb6c0ab05b6607c14ee33b5c0101381aa0bc41 (diff) |
Activate node-level datatype API (#3540)
Diffstat (limited to 'src/expr/expr_manager_template.cpp')
-rw-r--r-- | src/expr/expr_manager_template.cpp | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/expr/expr_manager_template.cpp b/src/expr/expr_manager_template.cpp index 09555da1b..411d64a1b 100644 --- a/src/expr/expr_manager_template.cpp +++ b/src/expr/expr_manager_template.cpp @@ -766,9 +766,11 @@ std::vector<DatatypeType> ExprManager::mkMutualDatatypeTypes( ++i) { const Datatype& dt = (*i).getDatatype(); if(!dt.isResolved()) { - const_cast<Datatype&>(dt).resolve(this, nameResolutions, - placeholders, replacements, - paramTypes, paramReplacements); + const_cast<Datatype&>(dt).resolve(nameResolutions, + placeholders, + replacements, + paramTypes, + paramReplacements); } // Now run some checks, including a check to make sure that no |