1.1 --- a/lemon/bits/graph_extender.h	Wed Jan 11 22:21:07 2012 +0100
     1.2 +++ b/lemon/bits/graph_extender.h	Wed Jan 11 22:43:50 2012 +0100
     1.3 @@ -840,16 +840,6 @@
     1.4        }
     1.5      }
     1.6  
     1.7 -    std::pair<RedNode, BlueNode> asRedBlueNode(const Node& node) const {
     1.8 -      if (node == INVALID) {
     1.9 -        return std::make_pair(RedNode(INVALID), BlueNode(INVALID));
    1.10 -      } else if (Parent::red(node)) {
    1.11 -        return std::make_pair(Parent::asRedNodeUnsafe(node), BlueNode(INVALID));
    1.12 -      } else {
    1.13 -        return std::make_pair(RedNode(INVALID), Parent::asBlueNodeUnsafe(node));
    1.14 -      }
    1.15 -    }
    1.16 -
    1.17      // Alterable extension
    1.18  
    1.19      typedef AlterationNotifier<BpGraphExtender, Node> NodeNotifier;