Minor optimizations to parser (use const string& for ids, keep only one binding in symtab)

1 files changed, 2 insertions, 2 deletions

diff --git a/src/expr/expr_manager.cpp b/src/expr/expr_manager.cpp
index 6231d5a8a..6e1be2e09 100644
--- a/src/expr/expr_manager.cpp
+++ b/src/expr/expr_manager.cpp
@@ -117,13 +117,13 @@ ExprManager::mkFunctionType(const std::vector<const Type*>& argTypes,
   return FunctionType::getInstance(this, argTypes, range);
 }
 
-const Type* ExprManager::mkSort(std::string name) {
+const Type* ExprManager::mkSort(const std::string& name) {
   // FIXME: Sorts should be unique per-ExprManager
   NodeManagerScope nms(d_nodeManager);
   return new SortType(this, name);
 }
 
-Expr ExprManager::mkVar(const Type* type, string name) {
+Expr ExprManager::mkVar(const Type* type, const std::string& name) {
   NodeManagerScope nms(d_nodeManager);
   return Expr(this, new Node(d_nodeManager->mkVar(type, name)));
 }