diff options
Diffstat (limited to 'rts/RetainerSet.h')
| -rw-r--r-- | rts/RetainerSet.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/rts/RetainerSet.h b/rts/RetainerSet.h index cbf8c1d9b0..e3d3acd38c 100644 --- a/rts/RetainerSet.h +++ b/rts/RetainerSet.h @@ -14,7 +14,7 @@ #ifdef PROFILING -#pragma GCC visibility push(hidden) +BEGIN_RTS_PRIVATE /* Type 'retainer' defines the retainer identity. @@ -199,7 +199,7 @@ void outputAllRetainerSet(FILE *); // the best place to define it. void printRetainer(FILE *, retainer); -#pragma GCC visibility pop +END_RTS_PRIVATE #endif /* PROFILING */ #endif /* RETAINERSET_H */ |