diff --git a/lib/krb5/prog_setup.c b/lib/krb5/prog_setup.c
index 751971e23..68955131e 100644
--- a/lib/krb5/prog_setup.c
+++ b/lib/krb5/prog_setup.c
@@ -44,9 +44,6 @@ RCSID("$Id$");
 static int help_flag;
 static int version_flag;
 
-static struct getargs std_args[] = {
-};
-
 void
 krb5_std_usage(int code, struct getargs *args, int num_args)
 {