diff options
Diffstat (limited to 'Build/source/texk/seetexk/dviselect.c')
| -rw-r--r-- | Build/source/texk/seetexk/dviselect.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/seetexk/dviselect.c b/Build/source/texk/seetexk/dviselect.c index d83c8c82917..f5a14667ea1 100644 --- a/Build/source/texk/seetexk/dviselect.c +++ b/Build/source/texk/seetexk/dviselect.c @@ -117,7 +117,7 @@ i32 OutputFontIndex; /* current (new) index in ouput */ struct pagelist *PageList; /* the list of allowed pages */ -char *DVIFileName; /* name of input DVI file */ +const char *DVIFileName; /* name of input DVI file */ FILE *inf; /* the input file itself */ FILE *outf; /* the output DVI file */ @@ -234,7 +234,7 @@ DesiredPageP(void) * long line wraps. */ static void -message(int space, char *str, int len) +message(int space, const char *str, int len) { static int beenhere; static int col; |