-
Alexandre Duret-Lutz authored
Seen on arch linux when clang++ 3.7.1 uses GCC's 6.1.1 tuple header. * spot/twaalgos/ltl2tgba_fm.cc (ratexp_to_dfa::succ): Build the return type explicitly. * NEWS: Mention the issue.
0278735e
Seen on arch linux when clang++ 3.7.1 uses GCC's 6.1.1 tuple header. * spot/twaalgos/ltl2tgba_fm.cc (ratexp_to_dfa::succ): Build the return type explicitly. * NEWS: Mention the issue.