diff options
| -rw-r--r-- | src/expr/node_manager.cpp | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/expr/node_manager.cpp b/src/expr/node_manager.cpp index 0d3fecac6..c9a819751 100644 --- a/src/expr/node_manager.cpp +++ b/src/expr/node_manager.cpp @@ -60,10 +60,8 @@ Node NodeManager::lookup(uint64_t hash, NodeValue* ev) { } // didn't find it, insert - std::vector<Node> v; Node e(ev); - v.push_back(e); - d_hash.insert(std::make_pair(hash, v)); + i->second.push_back(e); return e; } } |