@@ -598,9 +598,11 @@
}
level[u] = Pair(i, j);
if (j != 0) {
u = _gr.source(_data[u][j].pred);
// If at least one cycle is found, check the optimality condition
LargeValue d;