From: Jeremy Siek (jsiek_at_[hidden])
Date: 2004-03-17 12:33:58


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