--- micropolis/src/tk/tkcvarc.c	2020/03/11 09:08:51	1.1
+++ micropolis/src/tk/tkcvarc.c	2020/03/11 09:08:51	1.1.1.1
@@ -14,7 +14,7 @@
  */
 
 #ifndef lint
-static char rcsid[] = "$Header: /var/lib/cvsd/micropolis/micropolis/src/tk/tkcvarc.c,v 1.1 2020/03/11 09:08:51 root Exp $ SPRITE (Berkeley)";
+static char rcsid[] = "$Header: /var/lib/cvsd/micropolis/micropolis/src/tk/tkcvarc.c,v 1.1.1.1 2020/03/11 09:08:51 root Exp $ SPRITE (Berkeley)";
 #endif
 
 #include <stdio.h>