Revert Pull Request #1771, see issue #1785 (#1786)
authorGünther Demetz <guenther.demetz@wuerth-phoenix.com>
Tue, 23 Oct 2018 16:04:30 +0000 (18:04 +0200)
committerMarco Costalba <mcostalba@users.noreply.github.com>
Tue, 23 Oct 2018 16:04:30 +0000 (18:04 +0200)
commit9fff27220917d706988185cbd847e3f355a7fe09
treeaedd8943d9d8491c1e94a258b5f629b8e0c2346b
parent542a2b39ed811a3795cdce2416896ffaf2a485cf
Revert Pull Request #1771, see issue #1785 (#1786)

no functional change

bench: 4274207
src/search.cpp