diff -r fc18c2b50a8f -r ff241247e157 lemon/maps.h --- a/lemon/maps.h Thu May 18 08:04:51 2006 +0000 +++ b/lemon/maps.h Thu May 18 08:12:54 2006 +0000 @@ -1094,11 +1094,6 @@ /// vector span_tree_uedges; /// BackInserterBoolMap > inserter_map(span_tree_uedges); /// prim(ugraph, cost, inserter_map); - /// - /// for (int i = 0; i < (int)span_tree_uedges.size(); ++i) { - /// std::cout << ugraph.id(ugraph.source(span_tree_uedges[i])) << ' ' - /// << ugraph.id(ugraph.target(span_tree_uedges[i])) << ' ' - /// << cost[span_tree_uedges[i]] << endl; ///\endcode template class SettingOrderBoolMap {