--- a/src/user-prefs.cc	Mon Jan 16 19:17:57 1995 +0000
+++ b/src/user-prefs.cc	Tue Jan 17 03:20:23 1995 +0000
@@ -66,6 +66,7 @@
   user_pref.warn_assign_as_truth_value = 0;
   user_pref.warn_comma_in_global_decl = 0;
   user_pref.warn_divide_by_zero = 0;
+  user_pref.warn_function_name_clash = 0;
 
   user_pref.default_save_format = 0;
   user_pref.editor = 0;
@@ -451,6 +452,18 @@
   return 0;
 }
 
+// Generate warning if declared function name disagrees with the name
+// of the file in which it is defined.
+
+int
+warn_function_name_clash (void)
+{
+  user_pref.warn_function_name_clash =
+    check_str_pref ("warn_function_name_clash");
+
+  return 0;
+}
+
 int
 set_output_max_field_width (void)
 {