Add and use update_killers()
authorMarco Costalba <mcostalba@gmail.com>
Sat, 15 Nov 2008 17:23:56 +0000 (18:23 +0100)
committerMarco Costalba <mcostalba@gmail.com>
Sun, 16 Nov 2008 11:37:48 +0000 (12:37 +0100)
commit7daaf03b397f6ac2b6b9436b1b80054a2fea7c81
tree5a209f33cc4f5aa6ed05577cd83f62de09bf63b2
parent2e778445d5bcaa980bc0e34dfff797c006fd5f5b
Add and use update_killers()

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
src/search.cpp