1.1 --- a/lemon/bits/graph_extender.h	Thu Feb 23 15:10:45 2006 +0000
     1.2 +++ b/lemon/bits/graph_extender.h	Fri Feb 24 11:02:11 2006 +0000
     1.3 @@ -1263,15 +1263,6 @@
     1.4        return uEdgeNotifier;
     1.5      }
     1.6  
     1.7 -    ~BpUGraphExtender() {
     1.8 -      getNotifier(UEdge()).clear();
     1.9 -      getNotifier(Edge()).clear();
    1.10 -      getNotifier(ANode()).clear();
    1.11 -      getNotifier(BNode()).clear();
    1.12 -      getNotifier(Node()).clear();
    1.13 -    }
    1.14 -
    1.15 -  
    1.16      class NodeIt : public Node { 
    1.17        const Graph* graph;
    1.18      public: