--- 43BSD/ucb/lisp/franz/vax/totxtfile.c	2018/04/24 16:12:55	1.1
+++ 43BSD/ucb/lisp/franz/vax/totxtfile.c	2018/04/24 16:12:55	1.1.1.1
@@ -8,7 +8,7 @@
  */
 #include <stdio.h>
 
-static char *rcsid = "$Header: /var/lib/cvsd/CSRG/43BSD/ucb/lisp/franz/vax/totxtfile.c,v 1.1 2018/04/24 16:12:55 root Exp $";
+static char *rcsid = "$Header: /var/lib/cvsd/CSRG/43BSD/ucb/lisp/franz/vax/totxtfile.c,v 1.1.1.1 2018/04/24 16:12:55 root Exp $";
 
 main(argc,argv)
 char *argv[];