Commit 4e16d049 authored by Etienne Renault's avatar Etienne Renault
Browse files

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.
parent 3772f53b
...@@ -67,7 +67,7 @@ namespace spot ...@@ -67,7 +67,7 @@ namespace spot
&kripkecube<State, SuccIter>::initial; &kripkecube<State, SuccIter>::initial;
std::string (kripkecube<State, SuccIter>::*test_to_string) std::string (kripkecube<State, SuccIter>::*test_to_string)
(const State, unsigned) const = &kripkecube<State, SuccIter>::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; &kripkecube<State, SuccIter>::recycle;
const std::vector<std::string> const std::vector<std::string>
(kripkecube<State, SuccIter>::*test_get_ap)() = (kripkecube<State, SuccIter>::*test_get_ap)() =
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment