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/resident.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/resident.c')
-rw-r--r-- | Build/source/texk/dvipsk/resident.c | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/Build/source/texk/dvipsk/resident.c b/Build/source/texk/dvipsk/resident.c index 23a92cff753..453911f5f95 100644 --- a/Build/source/texk/dvipsk/resident.c +++ b/Build/source/texk/dvipsk/resident.c @@ -151,7 +151,7 @@ residentfont(register fontdesctype *curfnt) if (p->Fontfile && downloadpspk) { #ifdef DEBUG if (dd(D_FONTS)) - (void)fprintf(stderr,"Using PK font %s for <%s>.\n", + fprintf(stderr,"Using PK font %s for <%s>.\n", curfnt->name, p->PSname); #endif /* DEBUG */ return 0; @@ -161,7 +161,7 @@ residentfont(register fontdesctype *curfnt) */ #ifdef DEBUG if (dd(D_FONTS)) - (void)fprintf(stderr,"Font %s <%s> is resident.\n", + fprintf(stderr,"Font %s <%s> is resident.\n", curfnt->name, p->PSname); #endif /* DEBUG */ curfnt->resfont = p; @@ -381,7 +381,7 @@ getdefaults(const char *s) fprintf(stderr, "\n"); prettycolumn = 0; } - (void)fprintf(stderr, "{%s}", realnameoffile); + fprintf(stderr, "{%s}", realnameoffile); prettycolumn += strlen(realnameoffile) + 2; } #ifdef DEBUG @@ -660,7 +660,7 @@ case 'E' : error("E in config is disabled. To enable E, set z0 before E"); break; } - (void)system(was_inline+1); + system(was_inline+1); #endif break; case 'K': @@ -732,7 +732,7 @@ case 'G': case 'h' : if (sscanf(was_inline+1, "%s", PSname) != 1) bad_config("missing arg to h"); - else (void)add_header(PSname); + else add_header(PSname); break; case 'i' : if (sscanf(was_inline+1, "%d", &maxsecsize) != 1) @@ -769,7 +769,7 @@ default: bad_config("strange line"); } } - (void)fclose(deffile); + fclose(deffile); } else { if (printer) { @@ -805,7 +805,7 @@ getpsinfo(const char *name) fprintf(stderr, "\n"); prettycolumn = 0; } - (void)fprintf(stderr, "{%s}", realnameoffile); + fprintf(stderr, "{%s}", realnameoffile); prettycolumn += strlen(realnameoffile) + 2; } while (fgets(was_inline, INLINE_SIZE, deffile)!=NULL) { @@ -914,7 +914,7 @@ getpsinfo(const char *name) } } } - (void)fclose(deffile); + fclose(deffile); } checkstrings(); } |