diff --git a/kdc/kdc_locl.h b/kdc/kdc_locl.h
index 939da342c..634237321 100644
--- a/kdc/kdc_locl.h
+++ b/kdc/kdc_locl.h
@@ -77,7 +77,7 @@ Key* unseal_key (Key*);
 
 #ifdef KRB4
 hdb_entry* db_fetch4 (const char*, const char*, const char*);
-void do_524 (Ticket*, krb5_data*, const char*);
+krb5_error_code do_524 (Ticket*, krb5_data*, const char*);
 krb5_error_code do_version4 (unsigned char*, size_t, krb5_data*, const char*, 
 			     struct sockaddr_in*);
 krb5_error_code encode_v4_ticket (void*, size_t, EncTicketPart*,