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

remove a GCC 4.6 workaround

Browse source 
* src/twa/twagraph.hh (namer): Use a template alias instead
of a trait.
* src/twa/twagraph.cc, src/parseaut/parseaut.yy,
src/twaalgos/ltl2tgba_fm.cc: Adjust.
This commit is contained in:
Alexandre Duret-Lutz 2015-08-14 15:34:28 +02:00
parent 304f2496ea
commit ac6b042e2c
4 changed files with 10 additions and 14 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/parseaut/parseaut.yy
View file

@ -49,7 +49,7 @@
typedef std::map<std::string, bdd> formula_cache;
typedef std::pair<int, std::string*> pair;
typedef typename spot::twa_graph::namer<std::string>::type named_tgba_t;
typedef spot::twa_graph::namer<std::string> named_tgba_t;
// Note: because this parser is meant to be used on a stream of
// automata, it tries hard to recover from errors, so that we get a