diff options
Diffstat (limited to '')
| -rw-r--r-- | g10/gpgv.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/g10/gpgv.c b/g10/gpgv.c index ea26659f1..f1e994bff 100644 --- a/g10/gpgv.c +++ b/g10/gpgv.c @@ -645,9 +645,10 @@ export_pubkey_buffer (ctrl_t ctrl, const char *keyspec, unsigned int options, } gpg_error_t -tofu_get_policy (PKT_public_key *pk, PKT_user_id *user_id, +tofu_get_policy (ctrl_t ctrl, PKT_public_key *pk, PKT_user_id *user_id, enum tofu_policy *policy) { + (void)ctrl; (void)pk; (void)user_id; (void)policy; |