Ticket #5919 (closed Patches: fixed)
[Graph] named_graph small patch fixing removing_vertex called from remove_vertex
|Reported by:||Patrick Liesveld <pliesvel@…>||Owned by:||doug_gregor|
|Milestone:||To Be Determined||Component:||graph|
|Version:||Boost Development Trunk||Severity:||Problem|
named_graph<>::removing_vertex is called with a vertex descriptor parameter. The call to remove the vertex from the named_vertices.erase() expects a vertex_name_type as its parameter.
I include a patch that looks up the name, and calls erase() with proper arguments.