diff options
Diffstat (limited to 'rts/Printer.c')
| -rw-r--r-- | rts/Printer.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rts/Printer.c b/rts/Printer.c index 678922500c..95dd8548f2 100644 --- a/rts/Printer.c +++ b/rts/Printer.c @@ -714,7 +714,7 @@ extern void DEBUG_LoadSymbols( const char *name ) #else /* USING_LIBBFD */ -extern void DEBUG_LoadSymbols( char *name STG_UNUSED ) +extern void DEBUG_LoadSymbols( const char *name STG_UNUSED ) { /* nothing, yet */ } |