diff options
Diffstat (limited to 'Build/source/texk/dvipos/utils.c')
-rw-r--r-- | Build/source/texk/dvipos/utils.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/dvipos/utils.c b/Build/source/texk/dvipos/utils.c index 716d75dd425..de91f464082 100644 --- a/Build/source/texk/dvipos/utils.c +++ b/Build/source/texk/dvipos/utils.c @@ -200,7 +200,7 @@ char *make_suffix (const char *s, const char *suffix) } #endif -void msg_out (int level, char *fmt, ...) +void msg_out (int level, const char *fmt, ...) { va_list args; if (verbose & level) { |