--- 43BSD/ucb/lisp/franz/alloc.c	2018/04/24 16:12:55	1.1
+++ 43BSD/ucb/lisp/franz/alloc.c	2018/04/24 16:12:55	1.1.1.1
@@ -1,6 +1,6 @@
 #ifndef lint
 static char *rcsid =
-   "$Header: /var/lib/cvsd/CSRG/43BSD/ucb/lisp/franz/alloc.c,v 1.1 2018/04/24 16:12:55 root Exp $";
+   "$Header: /var/lib/cvsd/CSRG/43BSD/ucb/lisp/franz/alloc.c,v 1.1.1.1 2018/04/24 16:12:55 root Exp $";
 #endif
 
 /*					-[Thu Feb  2 16:15:30 1984 by jkf]-