diff --git a/lib/krb5/convert_creds.c b/lib/krb5/convert_creds.c
index fc81d96be..72ee5f0eb 100644
--- a/lib/krb5/convert_creds.c
+++ b/lib/krb5/convert_creds.c
@@ -36,6 +36,8 @@ RCSID("$Id$");
 
 #include "krb5-v4compat.h"
 
+#ifndef HEIMDAL_SMALLER
+
 static krb5_error_code
 check_ticket_flags(TicketFlags f)
 {
@@ -204,3 +206,5 @@ krb524_convert_creds_kdc_ccache(krb5_context context,
 	krb5_free_creds (context, v5_creds);
     return ret;
 }
+
+#endif