From c3e87f106fc53a78603c980a1bf90b444e4d4bec Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Mon, 21 Oct 2013 10:27:18 -0700
Subject: [PATCH] fix(kernel/trace): fix typo in depends_on

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/kernel/trace.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/kernel/trace.cpp b/src/kernel/trace.cpp
index 6f22cee76..37c4d6973 100644
--- a/src/kernel/trace.cpp
+++ b/src/kernel/trace.cpp
@@ -45,7 +45,7 @@ bool depends_on(trace const & t, trace const & d) {
     std::set<trace_cell *> visited;
     buffer<trace_cell *>   children;
     todo.push_back(t.raw());
-    while (todo.empty()) {
+    while (!todo.empty()) {
         trace_cell * curr = todo.back();
         todo.pop_back();
         if (curr == d.raw()) {