diff -r 0b2281cc1e32 -r 39945305a572 graph_displayer_canvas.h
--- a/graph_displayer_canvas.h	Tue Jun 14 15:58:12 2005 +0000
+++ b/graph_displayer_canvas.h	Tue Jun 14 16:56:37 2005 +0000
@@ -69,8 +69,10 @@
   ///event handler for the case when eraser-tool is active
   bool eraser_event_handler(GdkEvent*);
 
-  ///Deletes the given item.
-  void delete_item(Gnome::Canvas::Item *);
+  ///Deletes the given element.
+  void delete_item(NodeIt);
+  ///Deletes the given element.
+  void delete_item(EdgeIt);
 
   ///The graph, on which we work
   Graph g;