-
Alexandre Duret-Lutz authored
splice(), splice() already remove the elements. * src/tgbaalgos/gtec/ce.cc (couvreur99_check_result::accepting_run): Likewise.
e7a3ebb1
splice(), splice() already remove the elements. * src/tgbaalgos/gtec/ce.cc (couvreur99_check_result::accepting_run): Likewise.