diff -r 6a2a33ad261b -r 0f2091856dab lemon/dfs.h
--- a/lemon/dfs.h	Fri Dec 05 00:22:47 2008 +0100
+++ b/lemon/dfs.h	Fri Dec 05 10:38:32 2008 +0000
@@ -1410,6 +1410,7 @@
             _stack[++_stack_head] = e;
           } else {
             _visitor->leave(s);
+            _visitor->stop(s);
           }
         }
     }