merge upstream HEAD

[ghc-hetmet.git] / rts / Papi.h

diff --git a/rts/Papi.h b/rts/Papi.h
index 8658d8c..7e58c6f 100644 (file)
--- a/rts/Papi.h
+++ b/rts/Papi.h
@@ -8,7 +8,7 @@
 #ifndef PAPI_H
 #define PAPI_H
 
-#pragma GCC visibility push(hidden)
+#include "BeginPrivate.h"
 
 /* Check the error value of a PAPI call, reporting an error, if needed */
 extern int papi_error;
@@ -31,6 +31,6 @@ void papi_stop_gc1_count(void);
 void papi_thread_start_gc1_count(int event_set);
 void papi_thread_stop_gc1_count(int event_set);
 
-#pragma GCC visibility pop
+#include "EndPrivate.h"
 
 #endif /* PAPI_H */