changed format of rcsid

diff --git a/util/opt/patterns b/util/opt/patterns
index a6ace04..163eb79 100644 (file)
--- a/util/opt/patterns
+++ b/util/opt/patterns
@@ -1,4 +1,4 @@
-# $Header$
+/* $Header$ */
 loc adi loc sbi $2==w && $4==w: loc $1-$3 adi w
 ldc adi ldc sbi $2==2*w && $4==2*w:     ldc $1-$3 adi 2*w
 loc adi loc adi $2==w && $4==w: loc $1+$3 adi w