diff --git a/lib/krb5/krb5.h b/lib/krb5/krb5.h
index 2592a6ac0..fd7fe22ff 100644
--- a/lib/krb5/krb5.h
+++ b/lib/krb5/krb5.h
@@ -362,6 +362,16 @@ krb5_auth_getremoteseqnumber(krb5_context context,
 			     krb5_auth_context auth_context,
 			     int32_t *seqnumber);
 
+krb5_error_code
+krb5_auth_setlocalseqnumber(krb5_context context,
+			    krb5_auth_context auth_context,
+			    int32_t seqnumber);
+
+krb5_error_code
+krb5_auth_setremoteseqnumber(krb5_context context,
+			     krb5_auth_context auth_context,
+			     int32_t seqnumber);
+
 krb5_error_code
 krb5_auth_getauthenticator(krb5_context context,
 			   krb5_auth_context auth_context,