From 5138be020cacada87aff4fae3be86b3726ad71c5 Mon Sep 17 00:00:00 2001
From: em <none@none>
Date: Thu, 17 May 1984 14:37:15 +0000
Subject: [PATCH] changed format of rcsid

---
 util/opt/patterns | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/util/opt/patterns b/util/opt/patterns
index a6ace04ba..163eb792e 100644
--- 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