--- 43BSDReno/kerberosIV/make_key_perm/make_key_perm.c	2018/04/24 16:12:56	1.1
+++ 43BSDReno/kerberosIV/make_key_perm/make_key_perm.c	2018/04/24 16:12:56	1.1.1.1
@@ -23,7 +23,7 @@
 
 #ifndef lint
 static char rcsid[]=
-    "$Header: /var/lib/cvsd/CSRG/43BSDReno/kerberosIV/make_key_perm/make_key_perm.c,v 1.1 2018/04/24 16:12:56 root Exp $";
+    "$Header: /var/lib/cvsd/CSRG/43BSDReno/kerberosIV/make_key_perm/make_key_perm.c,v 1.1.1.1 2018/04/24 16:12:56 root Exp $";
 #endif /* lint */
 
 char *progname;