--- 43BSDTahoe/ucb/dbx/stabstring.c	2018/04/24 16:12:58	1.1
+++ 43BSDTahoe/ucb/dbx/stabstring.c	2018/04/24 16:12:58	1.1.1.1
@@ -8,7 +8,7 @@
 static char sccsid[] = "@(#)stabstring.c	5.3 (Berkeley) 5/11/88";
 #endif not lint
 
-static char rcsid[] = "$Header: /var/lib/cvsd/CSRG/43BSDTahoe/ucb/dbx/stabstring.c,v 1.1 2018/04/24 16:12:58 root Exp $";
+static char rcsid[] = "$Header: /var/lib/cvsd/CSRG/43BSDTahoe/ucb/dbx/stabstring.c,v 1.1.1.1 2018/04/24 16:12:58 root Exp $";
 
 /*
  * String information interpretation