diff options
Diffstat (limited to 'regen/mph.pl')
| -rw-r--r-- | regen/mph.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/regen/mph.pl b/regen/mph.pl index 55c7e5f4c5..02baed9930 100644 --- a/regen/mph.pl +++ b/regen/mph.pl @@ -792,6 +792,7 @@ sub _initial_covering_buf { sub build_split_words_squeeze { my ($self)= @_; + # Thanks to Ilya Sashcheka for this algorithm my $hash= $self->{source_hash}; my $length_all_keys= $self->{length_all_keys}; |