2
0
mirror of https://github.com/boostorg/graph.git synced 2026-01-31 08:12:14 +00:00

Fixed bug 10222.

This commit is contained in:
Alexander Lauser
2014-07-28 19:07:08 +02:00
parent 4210b6aa84
commit 9160fdb45e

View File

@@ -64,6 +64,7 @@ namespace boost {
do {
w = s.top(); s.pop();
put(comp, w, c);
put(root, w, v);
} while (w != v);
++c;
}