--- 43BSDReno/domestic/src/kerberosIV/des/new_rnd_key.c	2018/04/24 16:12:55	1.1
+++ 43BSDReno/domestic/src/kerberosIV/des/new_rnd_key.c	2018/04/24 16:12:55	1.1.1.1
@@ -18,7 +18,7 @@
 
 #ifndef	lint
 static char rcsid_new_rnd_key_c[] =
-"$Header: /var/lib/cvsd/CSRG/43BSDReno/domestic/src/kerberosIV/des/new_rnd_key.c,v 1.1 2018/04/24 16:12:55 root Exp $";
+"$Header: /var/lib/cvsd/CSRG/43BSDReno/domestic/src/kerberosIV/des/new_rnd_key.c,v 1.1.1.1 2018/04/24 16:12:55 root Exp $";
 #endif	lint
 
 #include <mit-copyright.h>