diff options
Diffstat (limited to 'Build/source/texk/dvipsk/makefont.c')
-rw-r--r-- | Build/source/texk/dvipsk/makefont.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/dvipsk/makefont.c b/Build/source/texk/dvipsk/makefont.c index 39c9fdd9735..b90f03819d2 100644 --- a/Build/source/texk/dvipsk/makefont.c +++ b/Build/source/texk/dvipsk/makefont.c @@ -7,7 +7,7 @@ extern int quiet ; extern int filter ; extern int dontmakefont ; -extern Boolean secure ; +extern int secure ; extern char *mfmode ; #ifdef OS2 #include <stdlib.h> |