since sole argument to set_duplicate_opt_detection was unused, eliminate it altogether

diff --git a/include/extern.h b/include/extern.h
index 727fe791e5924ab4bb85dc9ecf26d1c08d5e8b75..34d1766b2c80f41c32f82d491a57cebdc219de4c 100644 (file)
--- a/include/extern.h
+++ b/include/extern.h
@@ -1869,7 +1869,7 @@ E char FDECL(map_menu_cmd, (CHAR_P));
 E void FDECL(show_menu_controls, (winid, BOOLEAN_P));
 E void FDECL(assign_warnings, (uchar *));
 E char *FDECL(nh_getenv, (const char *));
-E void FDECL(set_duplicate_opt_detection, (int));
+E void NDECL(reset_duplicate_opt_detection);
 E void FDECL(set_wc_option_mod_status, (unsigned long, int));
 E void FDECL(set_wc2_option_mod_status, (unsigned long, int));
 E void FDECL(set_option_mod_status, (const char *, int));

diff --git a/src/files.c b/src/files.c
index df0a48916fb11cfd76abe791841e852bd4963f95..e81d3645aae2197bf4e29fee3f95fc4b39f3244a 100644 (file)
--- a/src/files.c
+++ b/src/files.c
@@ -3059,7 +3059,7 @@ int src;
         return FALSE;
 
     /* begin detection of duplicate configfile options */
-    set_duplicate_opt_detection(1);
+    reset_duplicate_opt_detection();
     free_config_sections();
     iflags.parse_config_file_src = src;
 
@@ -3068,7 +3068,7 @@ int src;
 
     free_config_sections();
     /* turn off detection of duplicate configfile options */
-    set_duplicate_opt_detection(0);
+    reset_duplicate_opt_detection();
     return rv;
 }
 

diff --git a/src/options.c b/src/options.c
index 596519cb4574afefcbe3af799b6836d1aff58832..319fdfffb12344e107abe434c64af9e30f330d5b 100644 (file)
--- 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;