Actually delete parameters in delete_params().

This commit is contained in:
tastytea 2019-10-06 15:48:32 +02:00
parent c3a5df62e5
commit 719f8a7664
Signed by: tastytea
GPG Key ID: CFC39497F1B26E07
1 changed files with 1 additions and 1 deletions

View File

@ -311,7 +311,7 @@ const parameters API::delete_params(const parameters &params,
std::copy_if(params.begin(), params.end(), newparams.begin(),
[&keys](const param &p)
{
return std::any_of(keys.begin(), keys.end(),
return std::all_of(keys.begin(), keys.end(),
[&p](const string &k)
{
return (k != p.key);