diff --git a/kdc/524.c b/kdc/524.c
index 02661723d..a100b4389 100644
--- a/kdc/524.c
+++ b/kdc/524.c
@@ -42,6 +42,7 @@ RCSID("$Id$");
 
 #ifdef KRB4
 
+void
 do_524(Ticket *t, krb5_data *reply, const char *from)
 {
     krb5_error_code ret;