1.1 --- a/lemon/dfs.h Tue Dec 02 15:33:22 2008 +0000 1.2 +++ b/lemon/dfs.h Wed Dec 03 14:23:22 2008 +0100 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 }