diff options
Diffstat (limited to 'rts/Printer.h')
| -rw-r--r-- | rts/Printer.h | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/rts/Printer.h b/rts/Printer.h index 2a35f7a361..43ccfe9d62 100644 --- a/rts/Printer.h +++ b/rts/Printer.h @@ -11,19 +11,19 @@ #include "BeginPrivate.h" -extern void printPtr ( StgPtr p ); -extern void printObj ( StgClosure *obj ); +extern void printPtr ( StgPtr p ); +extern void printObj ( StgClosure *obj ); extern char * closure_type_names[]; -void info_hdr_type ( StgClosure *closure, char *res ); -char * info_type ( StgClosure *closure ); -char * info_type_by_ip ( StgInfoTable *ip ); +void info_hdr_type ( StgClosure *closure, char *res ); +char * info_type ( StgClosure *closure ); +char * info_type_by_ip ( StgInfoTable *ip ); char * info_update_frame ( StgClosure *closure ); #ifdef DEBUG extern void prettyPrintClosure (StgClosure *obj); -extern void printClosure ( StgClosure *obj ); +extern void printClosure ( StgClosure *obj ); extern StgPtr printStackObj ( StgPtr sp ); extern void printStackChunk ( StgPtr sp, StgPtr spLim ); extern void printTSO ( StgTSO *tso ); |