--- texk/web2c/patgen.ch | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) --- texk/web2c/patgen.ch +++ texk/web2c/patgen.ch 2018-05-03 15:37:08.333623698 +0000 @@ -78,8 +78,8 @@ begin |trie_size| and greater than the number of occurrences of any pattern in the dictionary} @y -@!trie_size=550000; {space for pattern trie} -@!triec_size=260000; {space for pattern count trie, must be less than +@!trie_size=10000000; {space for pattern trie} +@!triec_size=5000000; {space for pattern count trie, must be less than |trie_size| and greater than the number of occurrences of any pattern in the dictionary} @z