--- 43BSDTahoe/lib/old_compiler/dbx/ops.vax.c	2018/04/24 16:12:57	1.1
+++ 43BSDTahoe/lib/old_compiler/dbx/ops.vax.c	2018/04/24 16:12:57	1.1.1.1
@@ -8,7 +8,7 @@
 static char sccsid[] = "%W% (Berkeley) %G%";
 #endif not lint
 
-static char rcsid[] = "$Header: /var/lib/cvsd/CSRG/43BSDTahoe/lib/old_compiler/dbx/ops.vax.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/ops.vax.c,v 1.1.1.1 2018/04/24 16:12:57 root Exp $";
 
 /*
  * Machine operators.