diff -r d167149bde95 -r 83c22ca968d8 src/work/marci/bfs_dfs_misc.h
--- a/src/work/marci/bfs_dfs_misc.h	Thu May 06 15:19:59 2004 +0000
+++ b/src/work/marci/bfs_dfs_misc.h	Thu May 06 15:24:42 2004 +0000
@@ -50,10 +50,10 @@
       if (!reached[n]) {
 	dfs.pushAndSetReached(n);
 	while (!dfs.finished()) {
+	  ++dfs;
 	  if (dfs.isANodeExamined()) {
 	    l.push_back(dfs.aNode());
 	  }
-	  ++dfs;
 	}
       }
     }