-
Alexandre Duret-Lutz authored
* src/tgbaalgos/powerset.cc: Replace std::deque by vector, and take the return of aut->out(s) by reference.
0d1c08e6
* src/tgbaalgos/powerset.cc: Replace std::deque by vector, and take the return of aut->out(s) by reference.