From 04bfae04d9bdb9b988a282b34526ec37bbc0e2ec Mon Sep 17 00:00:00 2001
From: panne <unknown>
Date: Thu, 19 Dec 2002 18:00:42 +0000
Subject: [PATCH] [project @ 2002-12-19 18:00:42 by panne] Use a less uncool
 way to avoid spurious warnings

---
 ghc/rts/Printer.c |    5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/ghc/rts/Printer.c b/ghc/rts/Printer.c
index 7fd4341..28b390d 100644
--- a/ghc/rts/Printer.c
+++ b/ghc/rts/Printer.c
@@ -1,5 +1,5 @@
 /* -----------------------------------------------------------------------------
- * $Id: Printer.c,v 1.54 2002/12/11 15:36:45 simonmar Exp $
+ * $Id: Printer.c,v 1.55 2002/12/19 18:00:42 panne Exp $
  *
  * (c) The GHC Team, 1994-2000.
  *
@@ -884,7 +884,7 @@ static void printZcoded( const char *raw )
  * rubbish like the obj-splitting symbols
  */
 
-static rtsBool isReal( flagword flags, const char *name )
+static rtsBool isReal( flagword flags STG_UNUSED, const char *name )
 {
 #if 0
     /* ToDo: make this work on BFD */
@@ -895,7 +895,6 @@ static rtsBool isReal( flagword flags, const char *name )
         return rtsFalse;
     }
 #else
-    (void)flags;   /* keep gcc -Wall happy */
     if (*name == '\0'  || 
 	(name[0] == 'g' && name[1] == 'c' && name[2] == 'c') ||
 	(name[0] == 'c' && name[1] == 'c' && name[2] == '.')) {
-- 
1.7.10.4