Re: [Boost-users] Bug in Boost Graph Library?

Hello Heiko, Thanks for the bug report regarding num_edges(). I've checked in a fix to the problem. Also, I've changed the implementation of num_edges() to be constant time. Cheers, Jeremy