-
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.
e7560552
To find the state of this project's repository at the time of any of these versions, check out the tags.