summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/mplibdir/mp.w
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/mplibdir/mp.w')
-rw-r--r--Build/source/texk/web2c/mplibdir/mp.w6
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';
}