added clause in finish_vertex for the case when u is a leaf in the DFS-tree

[SVN r12512]
This commit is contained in:
Jeremy Siek 2002-01-25 16:45:46 +00:00
parent 0415f61f4b
commit ba555e7d4b

@ -1 +1 @@
Subproject commit c265a5d47cbdf2851f27b168ca7360b3cf7f815f
Subproject commit 261dd8ab7be9267056a7c79ef2e539e7939c85ea