• Alexandre Duret-Lutz's avatar
    Patch from Heikki Tauriainen <heikki.tauriainen@hut.fi>. · 59df6100
    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