-
Alexandre Duret-Lutz authored
* src/tgba/tgbacomplement.cc (state_complement::state_complement) explicitly initialize the base class spot::state.
d1cf8195
* src/tgba/tgbacomplement.cc (state_complement::state_complement) explicitly initialize the base class spot::state.