From a6f754b7c7f153bc5d3a9d7be58d8ccfb4fbe5e6 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sun, 22 Jun 2014 13:10:58 +0200
Subject: [PATCH] * src/tgbaalgos/sccfilter.cc: Work around g++ 4.6.

---
 src/tgbaalgos/sccfilter.cc | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

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<typename... F>
+    struct compose_filters;
+
     template<typename F1, typename... F2>
-    struct compose_filters
+    struct compose_filters<F1, F2...>
     {
       F1 f1;
       compose_filters<F2...> f2;