diff options
Diffstat (limited to 'Build/source/texk/web2c/web2c/fixwrites.c')
-rw-r--r-- | Build/source/texk/web2c/web2c/fixwrites.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/web2c/fixwrites.c b/Build/source/texk/web2c/web2c/fixwrites.c index a087ece220e..91d4dbe9d11 100644 --- a/Build/source/texk/web2c/web2c/fixwrites.c +++ b/Build/source/texk/web2c/web2c/fixwrites.c @@ -402,7 +402,8 @@ main (int argc, string *argv) } /* And yet another kludge, to handle stringcast (<whatever>) */ - else if (strncmp (cp, "stringcast", 10) == 0) + else if (strncmp (cp, "stringcast", 10) == 0 + || strncmp (cp, "conststringcast", 10) == 0) { *as++ = '%'; *as++ = 's'; |