changed format of rcsid

1984-05-17 14:37:15 +00:00 · 1984-05-17 14:37:15 +00:00 · 5138be020c
parent 7d36c44c56
commit 5138be020c
1 changed files with 1 additions and 1 deletions
--- 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