--- 42BSD/ucb/lisp/lisplib/ucifnc.l	2018/04/24 16:12:54	1.1
+++ 42BSD/ucb/lisp/lisplib/ucifnc.l	2018/04/24 16:12:54	1.1.1.1
@@ -1,5 +1,5 @@
 (setq rcs-ucifnc-
-   "$Header: /var/lib/cvsd/CSRG/42BSD/ucb/lisp/lisplib/ucifnc.l,v 1.1 2018/04/24 16:12:54 root Exp $")
+   "$Header: /var/lib/cvsd/CSRG/42BSD/ucb/lisp/lisplib/ucifnc.l,v 1.1.1.1 2018/04/24 16:12:54 root Exp $")
 
 ;
 ; There is problems with the ucilisp do being