diff -r b5fb023cdb7b -r 0f1044b7a3af src/lemon/erasable_graph_extender.h --- a/src/lemon/erasable_graph_extender.h Wed Nov 10 21:59:59 2004 +0000 +++ b/src/lemon/erasable_graph_extender.h Thu Nov 11 09:31:55 2004 +0000 @@ -32,12 +32,12 @@ Parent::firstIn(edge, node); } - Parent::getNodeObserverRegistry().erase(node); + Parent::getObserverRegistry(Node()).erase(node); Parent::erase(node); } void erase(const Edge& edge) { - Parent::getEdgeObserverRegistry().erase(edge); + Parent::getObserverRegistry(Edge()).erase(edge); Parent::erase(edge); }