diff options
-rw-r--r-- | gtk/prefs_dlg.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gtk/prefs_dlg.c b/gtk/prefs_dlg.c index b82bb59321..8ddc26c54d 100644 --- a/gtk/prefs_dlg.c +++ b/gtk/prefs_dlg.c @@ -926,7 +926,6 @@ pref_check(pref_t *pref, gpointer user_data) const char *str_val; char *p; pref_t **badpref = user_data; - unsigned long val; /* Fetch the value of the preference, and check whether it's valid. */ switch (pref->type) { |