1.1 --- a/lemon/bits/graph_extender.h Wed Sep 06 10:19:57 2006 +0000
1.2 +++ b/lemon/bits/graph_extender.h Wed Sep 06 10:20:55 2006 +0000
1.3 @@ -1483,12 +1483,14 @@
1.4 erase(uedge);
1.5 Parent::firstFromANode(uedge, node);
1.6 }
1.7 + getNotifier(ANode()).erase(node);
1.8 } else {
1.9 Parent::firstFromBNode(uedge, node);
1.10 while (uedge != INVALID) {
1.11 erase(uedge);
1.12 Parent::firstFromBNode(uedge, node);
1.13 }
1.14 + getNotifier(BNode()).erase(node);
1.15 }
1.16
1.17 getNotifier(Node()).erase(node);