1.1 --- a/lemon/dfs.h Fri Dec 05 00:22:47 2008 +0100 1.2 +++ b/lemon/dfs.h Fri Dec 05 10:38:32 2008 +0000 1.3 @@ -1410,6 +1410,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 }