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

Mark bdd_hash as noexcept

Browse source 
* spot/misc/bddlt.hh: do it
This commit is contained in:
Maximilien Colange 2017-11-17 13:52:21 +01:00
parent 4bc68f8ab8
commit b86cbf0514
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
spot/misc/bddlt.hh
View file

@ -86,7 +86,7 @@ namespace spot
public std::unary_function<const bdd&, size_t>
{
size_t
operator()(const bdd& b) const
operator()(const bdd& b) const noexcept
{
return b.id();
}