--- 43BSDReno/kerberosIV/krb/dest_tkt.c	2018/04/24 16:12:56	1.1
+++ 43BSDReno/kerberosIV/krb/dest_tkt.c	2018/04/24 16:12:56	1.1.1.1
@@ -11,7 +11,7 @@
 
 #ifndef lint
 static char *rcsid_dest_tkt_c =
-"$Id: dest_tkt.c,v 1.1 2018/04/24 16:12:56 root Exp $";
+"$Id: dest_tkt.c,v 1.1.1.1 2018/04/24 16:12:56 root Exp $";
 #endif /* lint */
 
 #include <mit-copyright.h>