diff --git a/ChangeLog b/ChangeLog index b93244911..5155907e8 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,9 @@ +2005-01-27 Denis Poitrenaud + + * src/tgbaalgos/gtec/gtec.cc: Adjust statistics count to match + how the algorithm will behave once remove_component() is revamped. From + Alexandre. + 2005-01-27 Alexandre Duret-Lutz * src/tgbaalgos/gtec/ce.cc (couvreur99_check_result::accepting_cycle): diff --git a/src/tgbaalgos/gtec/gtec.cc b/src/tgbaalgos/gtec/gtec.cc index e3d573894..9f40b426f 100644 --- a/src/tgbaalgos/gtec/gtec.cc +++ b/src/tgbaalgos/gtec/gtec.cc @@ -465,7 +465,7 @@ namespace spot } prev->q.splice(prev->q.end(), last->q); todo.pop_back(); - dec_depth(); + // dec_depth(); } new_queue = &todo.back().q; }