diff options
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 |