-
Alexandre Duret-Lutz authored
* src/tgbaalgos/simulation.cc: Pass template arguments to base-class initializer to fix compilation with g++ < 4.5. Reported by Sonali Dutta.
0ec3f784
* src/tgbaalgos/simulation.cc: Pass template arguments to base-class initializer to fix compilation with g++ < 4.5. Reported by Sonali Dutta.