diff options
Diffstat (limited to 'rts/Profiling.c')
-rw-r--r-- | rts/Profiling.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/rts/Profiling.c b/rts/Profiling.c index 53f64a7280..41c2aa5f8a 100644 --- a/rts/Profiling.c +++ b/rts/Profiling.c @@ -1145,3 +1145,11 @@ debugCCS( CostCentreStack *ccs ) #endif /* DEBUG */ #endif /* PROFILING */ + +// Local Variables: +// mode: C +// fill-column: 80 +// indent-tabs-mode: nil +// c-basic-offset: 4 +// buffer-file-coding-system: utf-8-unix +// End: |