1.1 --- a/lemon/graph_utils.h	Wed Jul 02 12:37:47 2008 +0000
     1.2 +++ b/lemon/graph_utils.h	Tue Jul 22 11:20:06 2008 +0000
     1.3 @@ -2706,7 +2706,8 @@
     1.4  	} else {
     1.5  	  _right.set(e, _right[edge]);
     1.6  	  _parent.set(_right[edge], e);
     1.7 -
     1.8 +	  _parent.set(e, _parent[edge]);
     1.9 +	  
    1.10  	  if (_parent[edge] != INVALID) {
    1.11  	    if (_left[_parent[edge]] == edge) {
    1.12  	      _left.set(_parent[edge], e);
    1.13 @@ -2836,6 +2837,7 @@
    1.14      Edge operator()(Node s, Node t) const
    1.15      {
    1.16        Edge e = _head[s];
    1.17 +      if (e == INVALID) return INVALID;
    1.18        while (true) {
    1.19  	if (_g.target(e) == t) {
    1.20  	  const_cast<DynEdgeLookUp&>(*this).splay(e);