-
Alexandre Duret-Lutz authored
splice(), splice() already remove the elements. * src/tgbaalgos/gtec/ce.cc (couvreur99_check_result::accepting_run): Likewise.
e7a3ebb1
To find the state of this project's repository at the time of any of these versions, check out the tags.