diff -r 80eefca04b1e -r 59768817442a graph_displayer_canvas-edge.cc
--- a/graph_displayer_canvas-edge.cc	Thu Aug 18 13:33:49 2005 +0000
+++ b/graph_displayer_canvas-edge.cc	Tue Aug 23 07:36:09 2005 +0000
@@ -122,7 +122,7 @@
   //EXCEPT when the name of the map is Default, because
   //in that case empty string will be written, because
   //that is the deleter map
-
+  
   if(edge==INVALID)
     {
       for (EdgeIt i(mapstorage.graph); i!=INVALID; ++i)