Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
tgbaalgos
ndfs_result.hh
Find file
Blame
History
Permalink
* src/tgbaalgos/ndfs_result.hh (construct_prefix): Do not call
· 13183893
Alexandre Duret-Lutz
authored
Jan 03, 2005
erase() after splice(), splice() already removes the elements.
13183893