diff options
Diffstat (limited to 'rts/Papi.c')
| -rw-r--r-- | rts/Papi.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/rts/Papi.c b/rts/Papi.c index d95e26c8e7..e62fc9595c 100644 --- a/rts/Papi.c +++ b/rts/Papi.c @@ -16,12 +16,12 @@ #include <papi.h> -#include "Papi.h" +#include "PosixSource.h" #include "Rts.h" + #include "RtsUtils.h" #include "Stats.h" -#include "RtsFlags.h" -#include "OSThreads.h" +#include "Papi.h" // used to protect the aggregated counters #ifdef THREADED_RTS |