diff --git a/lib/asn1/k5.asn1 b/lib/asn1/k5.asn1
index 029722466..8611bee22 100644
--- a/lib/asn1/k5.asn1
+++ b/lib/asn1/k5.asn1
@@ -88,6 +88,7 @@ AUTHDATA-TYPE ::= INTEGER {
 	KRB5-AUTHDATA-MANDATORY-TICKET-EXTENSIONS(6),
 	KRB5-AUTHDATA-IN-TICKET-EXTENSIONS(7),
 	KRB5-AUTHDATA-MANDATORY-FOR-KDC(8),
+	KRB5-AUTHDATA-INITIAL-VERIFIED-CAS(9),
 	KRB5-AUTHDATA-OSF-DCE(64),
 	KRB5-AUTHDATA-SESAME(65),
 	KRB5-AUTHDATA-OSF-DCE-PKI-CERTID(66),