# HG changeset patch
# User deba
# Date 1140778931 0
# Node ID a605276094895464ed06c97e25b9262e218ac7d9
# Parent  f0eb6b79dcdf6bbba20e3b39d77fd81af3d2946a
Bugfix

diff -r f0eb6b79dcdf -r a60527609489 lemon/bits/graph_extender.h
--- a/lemon/bits/graph_extender.h	Thu Feb 23 15:10:45 2006 +0000
+++ b/lemon/bits/graph_extender.h	Fri Feb 24 11:02:11 2006 +0000
@@ -1263,15 +1263,6 @@
       return uEdgeNotifier;
     }
 
-    ~BpUGraphExtender() {
-      getNotifier(UEdge()).clear();
-      getNotifier(Edge()).clear();
-      getNotifier(ANode()).clear();
-      getNotifier(BNode()).clear();
-      getNotifier(Node()).clear();
-    }
-
-  
     class NodeIt : public Node { 
       const Graph* graph;
     public: