diff options
| -rw-r--r-- | rts/Printer.c | 2 | ||||
| -rw-r--r-- | rts/Printer.h | 2 |
2 files changed, 2 insertions, 2 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 */ } diff --git a/rts/Printer.h b/rts/Printer.h index 4db76057be..e72fdb068b 100644 --- a/rts/Printer.h +++ b/rts/Printer.h @@ -26,7 +26,7 @@ extern void printClosure ( const StgClosure *obj ); extern void printStackChunk ( StgPtr sp, StgPtr spLim ); extern void printTSO ( StgTSO *tso ); -extern void DEBUG_LoadSymbols( char *name ); +extern void DEBUG_LoadSymbols( const char *name ); extern const char *lookupGHCName( void *addr ); |