added rcsid

1984-05-17 14:14:29 +00:00
parent 43fff217c7
commit 97d45a43d4
13 changed files with 27 additions and 2 deletions
--- a/util/opt/pattern.h
+++ b/util/opt/pattern.h
@@ -1,3 +1,5 @@
+/* $Header$ */
+
 /*
 * pattern contains the optimization patterns in an apparently
 * unordered fashion. All patterns follow each other unaligned.