diff options
Diffstat (limited to 'rts/Papi.h')
| -rw-r--r-- | rts/Papi.h | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/rts/Papi.h b/rts/Papi.h index 7e58c6fbbe..1aa1b31381 100644 --- a/rts/Papi.h +++ b/rts/Papi.h @@ -1,6 +1,6 @@ /* ----------------------------------------------------------------------------- * (c) The GHC Team 2006 - * + * * Initialization and use of the PAPI performance monitoring library * * ---------------------------------------------------------------------------*/ @@ -34,3 +34,11 @@ void papi_thread_stop_gc1_count(int event_set); #include "EndPrivate.h" #endif /* PAPI_H */ + +// Local Variables: +// mode: C +// fill-column: 80 +// indent-tabs-mode: nil +// c-basic-offset: 4 +// buffer-file-coding-system: utf-8-unix +// End: |