alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

attempt to fix clang++ compilation error

Browse source 
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.
This commit is contained in:
Alexandre Duret-Lutz 2016-05-09 22:01:57 +02:00
parent d4c1db287b
commit e75605529a
2 changed files with 13 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

4
NEWS
View file

@ -1,7 +1,9 @@
New in spot 2.0.1a (not yet released)
Nothing yet.
Bug fixes:
* Fix compilation error observed with Clang++ 3.7.1 and GCC 6.1.1
headers.
New in spot 2.0.1 (2016-05-09)