diff --git a/src/tgbaalgos/sccfilter.cc b/src/tgbaalgos/sccfilter.cc index 5e5e9f7a8..63909252f 100644 --- a/src/tgbaalgos/sccfilter.cc +++ b/src/tgbaalgos/sccfilter.cc @@ -946,8 +946,13 @@ namespace spot }; + // This pre-declaration is needed to work around a limitation in + // g++ 4.6. + template + struct compose_filters; + template - struct compose_filters + struct compose_filters { F1 f1; compose_filters f2;