diff options
| -rw-r--r-- | src/or/networkstatus.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/or/networkstatus.c b/src/or/networkstatus.c index 2b1afa3a1e..aef17be299 100644 --- a/src/or/networkstatus.c +++ b/src/or/networkstatus.c @@ -2472,6 +2472,7 @@ int client_would_use_router(const routerstatus_t *rs, time_t now, const or_options_t *options) { + (void) options; /* unused */ if (!rs->is_flagged_running) { /* If we had this router descriptor, we wouldn't even bother using it. * (Fetching and storing depends on by we_want_to_fetch_flavor().) */ |