X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=rts%2FPapi.c;fp=rts%2FPapi.c;h=e62fc9595c6a7c967a4f00520f1dd215de5b9a82;hb=a2a67cd520b9841114d69a87a423dabcb3b4368e;hp=d95e26c8e7d09cdcaaea262a5ac77af9ef12bf47;hpb=5d379cbe65e406d5c3a848fe7fcd090cafbfeb78;p=ghc-hetmet.git diff --git a/rts/Papi.c b/rts/Papi.c index d95e26c..e62fc95 100644 --- a/rts/Papi.c +++ b/rts/Papi.c @@ -16,12 +16,12 @@ #include -#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