diff options
Diffstat (limited to 'Build/source/texk/web2c/mplibdir/mp.w')
-rw-r--r-- | Build/source/texk/web2c/mplibdir/mp.w | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Build/source/texk/web2c/mplibdir/mp.w b/Build/source/texk/web2c/mplibdir/mp.w index f6d8b8415f9..96d7390dcf5 100644 --- a/Build/source/texk/web2c/mplibdir/mp.w +++ b/Build/source/texk/web2c/mplibdir/mp.w @@ -34815,9 +34815,9 @@ extreme cases so it may have to be shortened on some systems. @<Use |c| to compute the file extension |s|@>= { - s = xmalloc (12, 1); - mp_snprintf (s, 12, ".%i", (int) c); - s[7]='\0'; + s = xmalloc (13, 1); + mp_snprintf (s, 13, ".%i", (int) c); + s[13]='\0'; } |