--- 43BSDReno/pgrm/lisp/franz/fex2.c	2018/04/24 16:12:57	1.1
+++ 43BSDReno/pgrm/lisp/franz/fex2.c	2018/04/24 16:12:57	1.1.1.1
@@ -1,7 +1,7 @@
 
 #ifndef lint
 static char *rcsid =
-   "$Header: /var/lib/cvsd/CSRG/43BSDReno/pgrm/lisp/franz/fex2.c,v 1.1 2018/04/24 16:12:57 root Exp $";
+   "$Header: /var/lib/cvsd/CSRG/43BSDReno/pgrm/lisp/franz/fex2.c,v 1.1.1.1 2018/04/24 16:12:57 root Exp $";
 #endif
 
 /*					-[Mon Jan 31 21:54:52 1983 by layer]-