From 32b79818dc1cd0bbd7da0c78c91d7e5a90311709 Mon Sep 17 00:00:00 2001
From: Etienne Renault <renault@lrde.epita.fr>
Date: Wed, 27 Sep 2017 17:11:23 +0200
Subject: [PATCH] kripke: avoir internal compiler error

gcc snapshot yield internal compiler error: tree check: accessed elt 2
of tree_vec with 1 elts in tsubst, at cp/pt.c:13693

* spot/kripke/kripke.hh: here.
---
 spot/kripke/kripke.hh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/spot/kripke/kripke.hh b/spot/kripke/kripke.hh
index ba5c2fcd6..519d9981c 100644
--- a/spot/kripke/kripke.hh
+++ b/spot/kripke/kripke.hh
@@ -67,7 +67,7 @@ namespace spot
       &kripkecube<State, SuccIter>::initial;
     std::string (kripkecube<State, SuccIter>::*test_to_string)
       (const State, unsigned) const = &kripkecube<State, SuccIter>::to_string;
-    auto (kripkecube<State, SuccIter>::*test_recycle)(SuccIter*, unsigned) =
+    void (kripkecube<State, SuccIter>::*test_recycle)(SuccIter*, unsigned) =
       &kripkecube<State, SuccIter>::recycle;
     const std::vector<std::string>
       (kripkecube<State, SuccIter>::*test_get_ap)() =