--- 43BSDTahoe/lib/old_compiler/dbx/main.c	2018/04/24 16:12:57	1.1
+++ 43BSDTahoe/lib/old_compiler/dbx/main.c	2018/04/24 16:12:57	1.1.1.1
@@ -14,7 +14,7 @@ char copyright[] =
 static char sccsid[] = "@(#)main.c	5.4 (Berkeley) 1/12/88";
 #endif not lint
 
-static char rcsid[] = "$Header: /var/lib/cvsd/CSRG/43BSDTahoe/lib/old_compiler/dbx/main.c,v 1.1 2018/04/24 16:12:57 root Exp $";
+static char rcsid[] = "$Header: /var/lib/cvsd/CSRG/43BSDTahoe/lib/old_compiler/dbx/main.c,v 1.1.1.1 2018/04/24 16:12:57 root Exp $";
 
 /*
  * Debugger main routine.