diff options
| author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-04-05 14:28:55 +0000 |
|---|---|---|
| committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-04-05 14:28:55 +0000 |
| commit | 57e51c2212f1c626368c66c6fbcf78ea0ce9722e (patch) | |
| tree | 6264e0a545a63bd8922fc7c2638fe003d404bdea /src/expr/expr_manager_template.cpp | |
| parent | 342c81e52224be3afc255a8a719747fa5eafdb32 (diff) | |
Minor refactorings, in response to code review (Bug #73)
Diffstat (limited to 'src/expr/expr_manager_template.cpp')
| -rw-r--r-- | src/expr/expr_manager_template.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/expr/expr_manager_template.cpp b/src/expr/expr_manager_template.cpp index 6a2640080..bb665ef81 100644 --- a/src/expr/expr_manager_template.cpp +++ b/src/expr/expr_manager_template.cpp @@ -184,9 +184,9 @@ Type* ExprManager::mkSort(const std::string& name) { return d_nodeManager->mkSort(name); } -Expr ExprManager::mkVar(Type* type, const std::string& name) { +Expr ExprManager::mkVar(const std::string& name, Type* type) { NodeManagerScope nms(d_nodeManager); - return Expr(this, new Node(d_nodeManager->mkVar(type, name))); + return Expr(this, new Node(d_nodeManager->mkVar(name, type))); } Expr ExprManager::mkVar(Type* type) { |