diff options
Diffstat (limited to 'rts/Profiling.h')
| -rw-r--r-- | rts/Profiling.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/rts/Profiling.h b/rts/Profiling.h index 87d81e2f9b..764e467b41 100644 --- a/rts/Profiling.h +++ b/rts/Profiling.h @@ -11,7 +11,7 @@ #include <stdio.h> -#pragma GCC visibility push(hidden) +BEGIN_RTS_PRIVATE void initProfiling1 (void); void freeProfiling1 (void); @@ -37,6 +37,6 @@ void debugCCS( CostCentreStack *ccs ); #endif -#pragma GCC visibility pop +END_RTS_PRIVATE #endif /* PROFILING_H */ |