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

* src/tgbaalgos/sccfilter.cc: Work around g++ 4.6.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2014-06-22 13:10:58 +02:00
parent 7d70229f5b
commit a6f754b7c7
1 changed files with 6 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

7
src/tgbaalgos/sccfilter.cc
View file

@ -946,8 +946,13 @@ namespace spot
};
// This pre-declaration is needed to work around a limitation in
// g++ 4.6.
template<typename... F>
struct compose_filters;
template<typename F1, typename... F2>
struct compose_filters
struct compose_filters<F1, F2...>
{
F1 f1;
compose_filters<F2...> f2;