-
Alexandre Duret-Lutz authored
* src/tgbaalgos/gtec/ce.cc (counter_example::counter_example): Do not parenthesize the type after the new operator (g++ 3.4 complains). * src/tgbaalgos/dupexp.cc (dupexp_iter::process_state, dupexp_iter::declare_state): Use this->automata_instead of automata_. Local member automata_ inherited from template base classes must be prefixed or g++ 3.4 will not look them up (conforming to 14.6.2.3).
59df6100
To find the state of this project's repository at the time of any of these versions, check out the tags.