diff options
Diffstat (limited to 'web2c')
| -rw-r--r-- | web2c/context.cnf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/web2c/context.cnf b/web2c/context.cnf index a2038e56d..c96630c10 100644 --- a/web2c/context.cnf +++ b/web2c/context.cnf @@ -170,7 +170,7 @@ save_size.context = 50000 stack_size.context = 10000 string_vacancies.context = 125000 trie_size.context = 250000 -hyph_size.context = 1000 +hyph_size.context = 8191 % prime main_memory.mpost = 3000000 pool_size.mpost = 3000000 |