diff -r 636fa2f39f10 -r 0eec1736ff1d lemon/nauty_reader.h --- a/lemon/nauty_reader.h Tue Nov 04 21:14:57 2008 +0100 +++ b/lemon/nauty_reader.h Tue Nov 04 21:25:15 2008 +0100 @@ -48,7 +48,7 @@ ///\code /// int num = 0; /// SmartGraph graph; - /// while (readNauty(graph, std::cin)) { + /// while (readNautyGraph(graph, std::cin)) { /// PlanarityChecking pc(graph); /// if (pc.run()) ++num; /// } @@ -61,7 +61,7 @@ /// ./geng -c 10 | ./num_of_planar_graphs ///\endcode template - std::istream& readNauty(Graph& graph, std::istream& is = std::cin) { + std::istream& readNautyGraph(Graph& graph, std::istream& is = std::cin) { graph.clear(); std::string line;