From: Tim King <taking@google.com>
Date: Thu, 29 Dec 2016 22:42:59 +0000 (-0800)
Subject: Eliminating a signed vs. unsigned comparison.
X-Git-Tag: cvc5-1.0.0~5933
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d7fba3b8370daa65f368b5982041f53252b6428c;p=cvc5.git

Eliminating a signed vs. unsigned comparison.
---

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));