Support more sphinx-build versions in configure script
[ghc.git] / rts / Papi.h
index 8658d8c..97a9649 100644 (file)
@@ -1,6 +1,6 @@
 /* -----------------------------------------------------------------------------
  * (c) The GHC Team 2006
- * 
+ *
  * Initialization and use of the PAPI performance monitoring library
  *
  * ---------------------------------------------------------------------------*/
@@ -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 */