1.1 --- a/lemon/dfs.h Mon Dec 01 13:48:26 2008 +0000 1.2 +++ b/lemon/dfs.h Thu Dec 04 10:49:54 2008 +0000 1.3 @@ -1413,6 +1413,7 @@ 1.4 _stack[++_stack_head] = e; 1.5 } else { 1.6 _visitor->leave(s); 1.7 + _visitor->stop(s); 1.8 } 1.9 } 1.10 }