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

Fix a Clang-2.9 warning.

Browse source 
* src/tgbaalgos/ltl2tgba_fm.cc (trace_ltl_bdd):
Declare as unused.
This commit is contained in:
Alexandre Duret-Lutz 2011-10-30 18:30:26 +01:00
parent 7f7627bf22
commit 1507dbc63a
1 changed files with 6 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/tgbaalgos/ltl2tgba_fm.cc
View file

@ -225,8 +225,14 @@ namespace spot
} }
}; };
#ifdef __GNUC__
# define unused __attribute__((unused))
#else
# define unused
#endif
// Debugging function. // Debugging function.
static unused
std::ostream& std::ostream&
trace_ltl_bdd(const translate_dict& d, bdd f) trace_ltl_bdd(const translate_dict& d, bdd f)
{ {