diff options
| -rw-r--r-- | src/or/dirvote.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/or/dirvote.c b/src/or/dirvote.c index f5e29eb786..11cd020d88 100644 --- a/src/or/dirvote.c +++ b/src/or/dirvote.c @@ -737,12 +737,12 @@ dirvote_get_intermediate_param_value(const smartlist_t *param_list, } } SMARTLIST_FOREACH_END(k_v_pair); - if (n_found == 1) + if (n_found == 1) { return value; - else if (BUG(n_found > 1)) - return default_val; - else + } else { + tor_assert_nonfatal(n_found == 0); return default_val; + } } /** Minimum number of directory authorities voting for a parameter to |