Hanging edges
Bug reproducing script:
import graph_tool.all as gt
g = gt.Graph()
g.add_vertex(2)
g.add_edge(1,1)
g.remove_vertex(0)
print( list( g.edges() ) )
#gt.graph_draw(g, pos=gt.sfdp_layout(g), vertex_text=g.vertex_index)
g.edges complains about 'invalid vertex descriptor 1'.[[BR]] If I try to draw the graph, segmentation fault comes.
Seems like, when shifting vertices after deletion, the edges of the last vertex aren't processed correctly and remain hanging.
Just in case: x86_64, ubuntu 12.10, python 2.7.3, binary package python-graph-tool v2.2.22-1