diff options
| -rw-r--r-- | Build/source/texk/web2c/tex.ch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/tex.ch b/Build/source/texk/web2c/tex.ch index e0da76b7b89..ee9993038c5 100644 --- a/Build/source/texk/web2c/tex.ch +++ b/Build/source/texk/web2c/tex.ch @@ -256,7 +256,7 @@ versions of the program. @!sup_param_size = 6000; @!inf_save_size = 600; -@!sup_save_size = 40000; +@!sup_save_size = 80000; @!inf_stack_size = 200; @!sup_stack_size = 30000; |