summaryrefslogtreecommitdiff
path: root/Build/source/texk/dvipsk/resident.c
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2010-05-10 00:58:37 +0000
committerKarl Berry <karl@freefriends.org>2010-05-10 00:58:37 +0000
commit59bb55528c277eecb879be61afc11eec0e65dd08 (patch)
tree6773d939ddd4a3290376ae2c1e945f0d73204eee /Build/source/texk/dvipsk/resident.c
parente3216395f89dca4ac988ded326a8d1d6a05a6cdb (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.c16
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();
}