diff options
Diffstat (limited to '')
| -rw-r--r-- | g10/gpgv.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/g10/gpgv.c b/g10/gpgv.c index 729fcf843..fd1090eb4 100644 --- a/g10/gpgv.c +++ b/g10/gpgv.c @@ -680,11 +680,13 @@ tofu_policy_str (enum tofu_policy policy) } void -tofu_begin_batch_update (void) +tofu_begin_batch_update (ctrl_t ctrl) { + (void)ctrl; } void -tofu_end_batch_update (void) +tofu_end_batch_update (ctrl_t ctrl) { + (void)ctrl; } |