diff -r dc726706ea65 -r 55b15666560f demo/kruskal_demo.cc
--- a/demo/kruskal_demo.cc	Tue Oct 31 08:46:18 2006 +0000
+++ b/demo/kruskal_demo.cc	Tue Oct 31 09:32:44 2006 +0000
@@ -106,13 +106,12 @@
 
   int k=0;
   std::cout << "The edges of the tree:" ;
-  for(EdgeIt i(g); i!=INVALID; ++i){
-
+  for(EdgeIt i(g); i!=INVALID; ++i)
     if (tree_map[i]) { 
       std::cout << g.id(i) <<";";
       ++k;
     }
-  }
+
   std::cout << std::endl;
   std::cout << "The size of the tree is: "<< k << std::endl;