diff options
Diffstat (limited to 'Build/source/texk/web2c/luatexdir/textcodes.c')
-rw-r--r-- | Build/source/texk/web2c/luatexdir/textcodes.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/luatexdir/textcodes.c b/Build/source/texk/web2c/luatexdir/textcodes.c index 163b53ad67a..e2d8c2c824a 100644 --- a/Build/source/texk/web2c/luatexdir/textcodes.c +++ b/Build/source/texk/web2c/luatexdir/textcodes.c @@ -177,10 +177,12 @@ void unsave_cat_codes(integer h, quarterword gl) } } -void clearcatcodestack(integer h) +#if 0 /* unused */ +static void clearcatcodestack(integer h) { clear_sa_stack(catcode_heads[h]); } +#endif static void initializecatcodes(void) { |