diff options
| author | mrchebas@gmail.com <unknown> | 2006-11-09 08:04:00 +0000 |
|---|---|---|
| committer | mrchebas@gmail.com <unknown> | 2006-11-09 08:04:00 +0000 |
| commit | a925382e63bdf47160d4dcc849ecf3c02700c8ef (patch) | |
| tree | b4c2438ddc391a4c3891d06a4df3396afd26abb0 /rts/Papi.h | |
| parent | 3d3f4dea2ac829f450bc2bb2ceed777864ba6aec (diff) | |
| download | haskell-a925382e63bdf47160d4dcc849ecf3c02700c8ef.tar.gz | |
Cosmetic improvements, no change in Papi functionality.
Diffstat (limited to 'rts/Papi.h')
| -rw-r--r-- | rts/Papi.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/rts/Papi.h b/rts/Papi.h index 940ec51fd9..1060ca2c62 100644 --- a/rts/Papi.h +++ b/rts/Papi.h @@ -1,3 +1,9 @@ +/* ----------------------------------------------------------------------------- + * (c) The GHC Team 2006 + * + * Initialization and use of the PAPI performance monitoring library + * + * ---------------------------------------------------------------------------*/ #include <papi.h> |