diff options
Diffstat (limited to 'Build/source/texk/dvipsk/header.c')
-rw-r--r-- | Build/source/texk/dvipsk/header.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/dvipsk/header.c b/Build/source/texk/dvipsk/header.c index 0f54fd101dc..086616c1ba4 100644 --- a/Build/source/texk/dvipsk/header.c +++ b/Build/source/texk/dvipsk/header.c @@ -101,7 +101,7 @@ checkhmem(const char *s, char *pre, char *post) (*close_file) (f); #ifdef DEBUG if (dd(D_HEADER)) - (void)fprintf(stderr, "Adding header file \"%s\" %ld\n", + fprintf(stderr, "Adding header file \"%s\" %ld\n", s, mem); #endif fontmem -= mem; @@ -168,7 +168,7 @@ send_headers(void) { while (0 != (q=get_name(&p))) { #ifdef DEBUG if (dd(D_HEADER)) - (void)fprintf(stderr, "Sending header file \"%s\"\n", q); + fprintf(stderr, "Sending header file \"%s\"\n", q); #endif #ifdef HPS if (HPS_FLAG) { |