diff options
Diffstat (limited to 'rts/Profiling.c')
| -rw-r--r-- | rts/Profiling.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/rts/Profiling.c b/rts/Profiling.c index 33301a91c1..96a94e4e2e 100644 --- a/rts/Profiling.c +++ b/rts/Profiling.c @@ -882,8 +882,6 @@ gen_XML_logfile( void ) reportCCS_XML(pruneCCSTree(CCS_MAIN)); fprintf(prof_file, " 0\n"); - - fclose(prof_file); } static void |