diff options
Diffstat (limited to 'rts/Printer.h')
| -rw-r--r-- | rts/Printer.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/rts/Printer.h b/rts/Printer.h index fd89aa073a..ca0cadb19c 100644 --- a/rts/Printer.h +++ b/rts/Printer.h @@ -9,7 +9,7 @@ #ifndef PRINTER_H #define PRINTER_H -#pragma GCC visibility push(hidden) +BEGIN_RTS_PRIVATE extern void printPtr ( StgPtr p ); extern void printObj ( StgClosure *obj ); @@ -34,7 +34,7 @@ extern const char *lookupGHCName( void *addr ); extern char *what_next_strs[]; #endif -#pragma GCC visibility pop +END_RTS_PRIVATE #endif /* PRINTER_H */ |