diff options
Diffstat (limited to 'rts/Printer.h')
| -rw-r--r-- | rts/Printer.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/rts/Printer.h b/rts/Printer.h index 33fe6a8316..fd89aa073a 100644 --- a/rts/Printer.h +++ b/rts/Printer.h @@ -30,6 +30,8 @@ extern void printTSO ( StgTSO *tso ); extern void DEBUG_LoadSymbols( char *name ); extern const char *lookupGHCName( void *addr ); + +extern char *what_next_strs[]; #endif #pragma GCC visibility pop |