changed rcsid to rcsid2

1984-05-17 14:28:57 +00:00
parent 3c197c150a
commit 7d36c44c56
1 changed files with 1 additions and 1 deletions
--- a/util/opt/scan.l
+++ b/util/opt/scan.l
@@ -1,6 +1,6 @@
 %{
 #ifndef NORCSID
-static char rcsid[] = "$Header$";
+static char rcsid2[] = "$Header$";
 #endif

 /*