From 4c1cb16059e6e484581873dfb3103851183ccc72 Mon Sep 17 00:00:00 2001
From: "Christopher L. Conway" <christopherleeconway@gmail.com>
Date: Tue, 23 Feb 2010 17:15:44 +0000
Subject: Minor optimizations to parser (use const string& for ids, keep only
 one binding in symtab)

---
 src/expr/node_manager.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/expr/node_manager.h')

diff --git a/src/expr/node_manager.h b/src/expr/node_manager.h
index 29c738c10..1c46743e9 100644
--- a/src/expr/node_manager.h
+++ b/src/expr/node_manager.h
@@ -74,7 +74,7 @@ public:
   Node mkNode(Kind kind, const std::vector<Node>& children);
 
   // variables are special, because duplicates are permitted
-  Node mkVar(const Type* type, std::string name);
+  Node mkVar(const Type* type, const std::string& name);
   Node mkVar(const Type* type);
   Node mkVar();
 
-- 
cgit v1.2.3