diff -r 004b239908e6 -r cfd49e5c8723 graph_displayer_canvas.cc
--- a/graph_displayer_canvas.cc	Mon Jan 09 12:41:06 2006 +0000
+++ b/graph_displayer_canvas.cc	Tue Jan 10 15:15:57 2006 +0000
@@ -59,9 +59,9 @@
     }
 }
 
-void GraphDisplayerCanvas::propertyUpdate(Node node, int prop, int dummy)
+void GraphDisplayerCanvas::propertyUpdate(Node node, int prop)
 {
-  dummy=dummy;
+  //dummy=dummy;
 
   std::string mapname=mytab.getActiveNodeMap(prop);
 
@@ -106,9 +106,9 @@
 
 }
 
-void GraphDisplayerCanvas::propertyUpdate(Edge edge, int prop, int dummy)
+void GraphDisplayerCanvas::propertyUpdate(Edge edge, int prop)
 {
-  dummy=dummy;
+  //dummy=dummy;
 
   std::string mapname=mytab.getActiveEdgeMap(prop);