diff options
Diffstat (limited to 'rts/Printer.c')
-rw-r--r-- | rts/Printer.c | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/rts/Printer.c b/rts/Printer.c index 49e0c059f7..3d77e83282 100644 --- a/rts/Printer.c +++ b/rts/Printer.c @@ -1025,11 +1025,3 @@ info_hdr_type(StgClosure *closure, char *res){ strcpy(res,closure_type_names[get_itbl(closure)->type]); } - -// Local Variables: -// mode: C -// fill-column: 80 -// indent-tabs-mode: nil -// c-basic-offset: 4 -// buffer-file-coding-system: utf-8-unix -// End: |