diff options
Diffstat (limited to 'Build/source/texk/web2c/eptexdir/eptexextra.c')
-rw-r--r-- | Build/source/texk/web2c/eptexdir/eptexextra.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Build/source/texk/web2c/eptexdir/eptexextra.c b/Build/source/texk/web2c/eptexdir/eptexextra.c index 9beef1443fb..22a72b9fad9 100644 --- a/Build/source/texk/web2c/eptexdir/eptexextra.c +++ b/Build/source/texk/web2c/eptexdir/eptexextra.c @@ -39,12 +39,12 @@ void getfiledump(int s, int offset, int length) /* read file data */ f = fopen(file_name, FOPEN_RBIN_MODE); if (f == NULL) { - free(file_name); + xfree(file_name); return; } recorder_record_input(file_name); if (fseek(f, offset, SEEK_SET) != 0) { - free(file_name); + xfree(file_name); return; } /* there is enough space in the string pool, the read @@ -63,5 +63,5 @@ void getfiledump(int s, int offset, int length) check_nprintf(i, 3); poolptr += i; } - free(file_name); + xfree(file_name); } |