work around incorrect key-type in property maps

This commit is contained in:
Sébastien Loriot 2016-07-15 11:52:59 +02:00
parent efa3e3b654
commit 1c5204d0aa
1 changed files with 2 additions and 1 deletions

View File

@ -281,8 +281,9 @@ struct Property_map_to_unary_function{
: map(m)
{}
template <class KeyType>
result_type
operator()(const argument_type& a) const
operator()(KeyType a) const
{
return get(map,a);
}