since sole argument to set_duplicate_opt_detection was unused, eliminate it altogether

2020-02-29 18:47:34 -05:00
parent 5d310d815d
commit 2f1be94bfa
3 changed files with 4 additions and 5 deletions
--- a/src/options.c
+++ b/src/options.c
@@ -5788,8 +5788,7 @@ boolean val_allowed;
 }

 void
-set_duplicate_opt_detection(on_or_off)
-int on_or_off;
+reset_duplicate_opt_detection(VOID_ARGS)
 {
    int k;