# HG changeset patch # User deba # Date 1216725606 0 # Node ID 02971275e7bf3427b2f7f9f94b32f0f0ed730a8b # Parent 2bf1f6e3d5ae6a917250855905ec774c328dd88a Back port bug fix from hg changeset [0915721396dc] diff -r 2bf1f6e3d5ae -r 02971275e7bf lemon/graph_utils.h --- a/lemon/graph_utils.h Wed Jul 02 12:37:47 2008 +0000 +++ b/lemon/graph_utils.h Tue Jul 22 11:20:06 2008 +0000 @@ -2706,7 +2706,8 @@ } else { _right.set(e, _right[edge]); _parent.set(_right[edge], e); - + _parent.set(e, _parent[edge]); + if (_parent[edge] != INVALID) { if (_left[_parent[edge]] == edge) { _left.set(_parent[edge], e); @@ -2836,6 +2837,7 @@ Edge operator()(Node s, Node t) const { Edge e = _head[s]; + if (e == INVALID) return INVALID; while (true) { if (_g.target(e) == t) { const_cast(*this).splay(e);