diff options
Diffstat (limited to 'Build/source/texk/xdvipdfmx/src/dvi.c')
-rw-r--r-- | Build/source/texk/xdvipdfmx/src/dvi.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Build/source/texk/xdvipdfmx/src/dvi.c b/Build/source/texk/xdvipdfmx/src/dvi.c index c7baf12a3c2..8e56fae4bc1 100644 --- a/Build/source/texk/xdvipdfmx/src/dvi.c +++ b/Build/source/texk/xdvipdfmx/src/dvi.c @@ -1031,7 +1031,6 @@ dvi_locate_native_font (const char *ps_name, { int cur_id = -1; fontmap_rec *mrec; - int i; char *fontmap_key = malloc(strlen(ps_name) + 40); // CHECK this is enough if (verbose) |