diff -r ad483acf1654 -r 9afe81e4c543 lemon/dfs.h
--- a/lemon/dfs.h	Tue Dec 02 15:33:22 2008 +0000
+++ b/lemon/dfs.h	Wed Dec 03 14:23:22 2008 +0100
@@ -1410,6 +1410,7 @@
             _stack[++_stack_head] = e;
           } else {
             _visitor->leave(s);
+            _visitor->stop(s);
           }
         }
     }