diff -r 699c7eac2c6d -r 8b2b9e61d8ce lemon/bits/graph_extender.h --- a/lemon/bits/graph_extender.h Wed Jan 11 22:21:07 2012 +0100 +++ b/lemon/bits/graph_extender.h Wed Jan 11 22:43:50 2012 +0100 @@ -840,16 +840,6 @@ } } - std::pair asRedBlueNode(const Node& node) const { - if (node == INVALID) { - return std::make_pair(RedNode(INVALID), BlueNode(INVALID)); - } else if (Parent::red(node)) { - return std::make_pair(Parent::asRedNodeUnsafe(node), BlueNode(INVALID)); - } else { - return std::make_pair(RedNode(INVALID), Parent::asBlueNodeUnsafe(node)); - } - } - // Alterable extension typedef AlterationNotifier NodeNotifier;