# 
# patch "roster.cc"
#  from [c1d4dd28ae64c61be7637f10df99b8f67cbaca01]
#    to [ee81ba92c7d1866f1219b20728a94809b627a6de]
# 
========================================================================
--- roster.cc	c1d4dd28ae64c61be7637f10df99b8f67cbaca01
+++ roster.cc	ee81ba92c7d1866f1219b20728a94809b627a6de
@@ -817,6 +817,7 @@
   size_t maxdepth = nodes.size(); 
   for (dfs_iter i(root_dir); !i.finished(); ++i)
     I(maxdepth-- > 0);
+  I(maxdepth == 0);
 }
 
 void