alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

simulation: fix compilation with g++ < 4.5.

Browse source 
* src/tgbaalgos/simulation.cc: Pass template arguments to base-class
initializer to fix compilation with g++ < 4.5.  Reported by Sonali
Dutta.
This commit is contained in:
Alexandre Duret-Lutz 2013-05-22 20:06:26 +02:00
parent 4c1a9fdb10
commit 0ec3f7843a
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/tgbaalgos/simulation.cc
View file

@ -1014,7 +1014,7 @@ namespace spot
public: public:
direct_simulation_dont_care(const tgba* t) direct_simulation_dont_care(const tgba* t)
: direct_simulation(t) : direct_simulation<false, false>(t)
{ {
// This variable is used in the new signature. // This variable is used in the new signature.
on_cycle_ = on_cycle_ =