diff options
| author | Paolo Bonzini <bonzini@gnu.org> | 2009-12-23 11:53:46 +0100 |
|---|---|---|
| committer | Paolo Bonzini <bonzini@gnu.org> | 2009-12-23 11:58:35 +0100 |
| commit | 6245829135f68fd77e5ba590650abbe6c350bf42 (patch) | |
| tree | 48d3bad63962d20e91773b86be0c05859bccb9ee /THANKS | |
| parent | d09b0dd0a548f861ff3defbbc8b7f48343597ae1 (diff) | |
| download | grep-6245829135f68fd77e5ba590650abbe6c350bf42.tar.gz | |
Speed up insert.
Suggested by Johan Walles <johan.walles@gmail.com> (bug 23354).
* src/dfa.c (insert): Use binary search.
Diffstat (limited to 'THANKS')
| -rw-r--r-- | THANKS | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -38,6 +38,7 @@ Jim Hand <jhand@austx.tandem.com> Jim Meyering <meyering@asic.sc.ti.com> Jochen Hein <jochen.hein@delphi.central.de> Joel N. Weber II <devnull@gnu.org> +Johan Walles <johan.walles@gmail.com> John Hughes <john@nitelite.calvacom.fr> Jorge Stolfi <stolfi@dcc.unicamp.br> Juan Manuel Guerrero <ST001906@HRZ1.HRZ.TU-Darmstadt.De> |