Fix two bugs in ok_to_prune() (2)
authorMarco Costalba <mcostalba@gmail.com>
Fri, 12 Dec 2008 21:27:43 +0000 (22:27 +0100)
committerMarco Costalba <mcostalba@gmail.com>
Fri, 12 Dec 2008 21:27:43 +0000 (22:27 +0100)
commit8ee3124487bdfd871f587bdb46f007ff24fc8303
treeac06ae4095fe9d3ff7715d6df61e439b36b8970c
parent07b45151d2f7abfac7030f3bf401a36b5b8c7b8b
Fix two bugs in ok_to_prune() (2)

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