merge upstream HEAD

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

diff --git a/rts/Papi.h b/rts/Papi.h
index 8f58f6d..7e58c6f 100644 (file)
--- a/rts/Papi.h
+++ b/rts/Papi.h
@@ -8,6 +8,8 @@
 #ifndef PAPI_H
 #define PAPI_H
 
+#include "BeginPrivate.h"
+
 /* Check the error value of a PAPI call, reporting an error, if needed */
 extern int papi_error;
 
@@ -29,4 +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);
 
+#include "EndPrivate.h"
+
 #endif /* PAPI_H */