michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(kernel/trace): fix typo in depends_on

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2013-10-21 10:27:18 -07:00
parent dc51d35dc0
commit c3e87f106f
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/kernel/trace.cpp
View file

@ -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()) {