diff options
Diffstat (limited to 'rts/Papi.c')
| -rw-r--r-- | rts/Papi.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/rts/Papi.c b/rts/Papi.c index a36157f4c1..39b9ee75f1 100644 --- a/rts/Papi.c +++ b/rts/Papi.c @@ -394,3 +394,11 @@ papi_thread_stop_gc1_count(int event_set) } #endif /* USE_PAPI */ + +// Local Variables: +// mode: C +// fill-column: 80 +// indent-tabs-mode: nil +// c-basic-offset: 4 +// buffer-file-coding-system: utf-8-unix +// End: |