--- 43BSD/ucb/dbx/debug.c	2018/04/24 16:12:55	1.1
+++ 43BSD/ucb/dbx/debug.c	2018/04/24 16:12:55	1.1.1.1
@@ -8,7 +8,7 @@
 static char sccsid[] = "@(#)debug.c	5.1 (Berkeley) 5/31/85";
 #endif not lint
 
-static char rcsid[] = "$Header: /var/lib/cvsd/CSRG/43BSD/ucb/dbx/debug.c,v 1.1 2018/04/24 16:12:55 root Exp $";
+static char rcsid[] = "$Header: /var/lib/cvsd/CSRG/43BSD/ucb/dbx/debug.c,v 1.1.1.1 2018/04/24 16:12:55 root Exp $";
 
 /*
  *  Debug routines