diff options
Diffstat (limited to 'rts/Trace.c')
| -rw-r--r-- | rts/Trace.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/rts/Trace.c b/rts/Trace.c index 21901891cb..4671919896 100644 --- a/rts/Trace.c +++ b/rts/Trace.c @@ -805,3 +805,11 @@ void dtraceUserMarkerWrapper(Capability *cap, char *msg) } #endif /* !defined(DEBUG) && !defined(TRACING) && defined(DTRACE) */ + +// Local Variables: +// mode: C +// fill-column: 80 +// indent-tabs-mode: nil +// c-basic-offset: 4 +// buffer-file-coding-system: utf-8-unix +// End: |