diff options
Diffstat (limited to 'rts/Printer.h')
| -rw-r--r-- | rts/Printer.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/rts/Printer.h b/rts/Printer.h index f627049e8a..33fe6a8316 100644 --- a/rts/Printer.h +++ b/rts/Printer.h @@ -9,6 +9,8 @@ #ifndef PRINTER_H #define PRINTER_H +#pragma GCC visibility push(hidden) + extern void printPtr ( StgPtr p ); extern void printObj ( StgClosure *obj ); @@ -30,5 +32,7 @@ extern void DEBUG_LoadSymbols( char *name ); extern const char *lookupGHCName( void *addr ); #endif +#pragma GCC visibility pop + #endif /* PRINTER_H */ |