* src/tgbatest/complementation.cc (check, automaton): Remove these unused variables.
Attach a file by drag & drop or click to upload
Alexandre Duret-Lutz authored