diff options
author | Tim King <taking@google.com> | 2016-12-29 14:42:59 -0800 |
---|---|---|
committer | Tim King <taking@google.com> | 2016-12-29 14:42:59 -0800 |
commit | d7fba3b8370daa65f368b5982041f53252b6428c (patch) | |
tree | a892c93b8eb53888426a002f9a577afeb9f5436f /src/expr/node_manager.cpp | |
parent | bc19309a108f2d914713eebd3055176cab8e81e4 (diff) |
Eliminating a signed vs. unsigned comparison.
Diffstat (limited to 'src/expr/node_manager.cpp')
-rw-r--r-- | src/expr/node_manager.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/expr/node_manager.cpp b/src/expr/node_manager.cpp index 1d54d0f9d..a9be51418 100644 --- a/src/expr/node_manager.cpp +++ b/src/expr/node_manager.cpp @@ -383,7 +383,7 @@ std::vector<NodeValue*> NodeManager::TopologicalSort( stack.back().first = true; Assert(visited.count(current) == 0); visited.insert(current); - for (int i = 0; i < current->getNumChildren(); ++i) { + for (unsigned i = 0; i < current->getNumChildren(); ++i) { expr::NodeValue* child = current->getChild(i); if (visited.find(child) == visited.end()) { stack.push_back(std::make_pair(false, child)); |