From 7accff6b6d70c80baecfc41ec16a3baa034526d3 Mon Sep 17 00:00:00 2001
From: wpaul <wpaul@FreeBSD.org>
Date: Tue, 1 Sep 1998 21:32:04 +0000
Subject: [PATCH] "xl%d: chip is is in D%d power mode " -> "xl%d: chip is in
 D%d power mode "

---
 sys/pci/if_xl.c | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/sys/pci/if_xl.c b/sys/pci/if_xl.c
index a21a82c076f6..a6644685f9bc 100644
--- a/sys/pci/if_xl.c
+++ b/sys/pci/if_xl.c
@@ -29,7 +29,7 @@
  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF
  * THE POSSIBILITY OF SUCH DAMAGE.
  *
- *	$Id: if_xl.c,v 1.46 1998/08/31 15:10:22 wpaul Exp $
+ *	$Id: if_xl.c,v 1.7 1998/08/31 15:26:09 wpaul Exp $
  */
 
 /*
@@ -124,7 +124,7 @@
 
 #ifndef lint
 static char rcsid[] =
-	"$Id: if_xl.c,v 1.46 1998/08/31 15:10:22 wpaul Exp $";
+	"$Id: if_xl.c,v 1.7 1998/08/31 15:26:09 wpaul Exp $";
 #endif
 
 /*
@@ -1284,7 +1284,7 @@ xl_attach(config_id, unit)
 			irq = pci_conf_read(config_id, XL_PCI_INTLINE);
 
 			/* Reset the power state. */
-			printf("xl%d: chip is is in D%d power mode "
+			printf("xl%d: chip is in D%d power mode "
 			"-- setting to D0\n", unit, command & XL_PSTATE_MASK);
 			command &= 0xFFFFFFFC;
 			pci_conf_write(config_id, XL_PCI_PWRMGMTCTRL, command);