diff -r 71676735a6ef -r c60369a1c987 gui/graph_displayer_canvas.h
--- a/gui/graph_displayer_canvas.h	Wed Jun 15 11:01:55 2005 +0000
+++ b/gui/graph_displayer_canvas.h	Wed Jun 15 11:15:01 2005 +0000
@@ -73,6 +73,8 @@
   void delete_item(NodeIt);
   ///Deletes the given element.
   void delete_item(EdgeIt);
+  ///Deletes the given element.
+  void delete_item(Graph::Edge);
 
   ///The graph, on which we work
   Graph g;