diff options
author | Karl Berry <karl@freefriends.org> | 2010-05-10 00:58:37 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2010-05-10 00:58:37 +0000 |
commit | 59bb55528c277eecb879be61afc11eec0e65dd08 (patch) | |
tree | 6773d939ddd4a3290376ae2c1e945f0d73204eee /Build/source/texk/dvipsk/header.c | |
parent | e3216395f89dca4ac988ded326a8d1d6a05a6cdb (diff) |
remove useless casts to void
git-svn-id: svn://tug.org/texlive/trunk@18177 c570f23f-e606-0410-a88d-b1316a301751
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) { |