Skip to content
GitLab
Explore
Sign in
Register
Tiago Peixoto
graph-tool
Repository
graph-tool
src
graph
graph_filtering.cc
Find file
Blame
History
Permalink
Fix bug in Graph.purge_vertices()
· 4211214b
Tiago Peixoto
authored
Feb 04, 2010
This fixes a crash when purging filtered vertices.
4211214b