merge upstream HEAD

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

diff --git a/rts/Papi.h b/rts/Papi.h
index fc92a91..7e58c6f 100644 (file)
--- a/rts/Papi.h
+++ b/rts/Papi.h
@@ -5,6 +5,11 @@
  *
  * ---------------------------------------------------------------------------*/
 
+#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;
 
@@ -25,3 +30,7 @@ void papi_stop_gc1_count(void);
 // events and aggregate them into the main GC counters.
 void papi_thread_start_gc1_count(int event_set);
 void papi_thread_stop_gc1_count(int event_set);
+
+#include "EndPrivate.h"
+
+#endif /* PAPI_H */