Simplify reduction formula #2122
authorMoez Jellouli <37274752+MJZ1977@users.noreply.github.com>
Wed, 15 May 2019 08:26:32 +0000 (10:26 +0200)
committerMarco Costalba <mcostalba@users.noreply.github.com>
Wed, 15 May 2019 08:26:32 +0000 (10:26 +0200)
commit2d9fac1e13ce724b6d5fafdf03d880ca37055dde
treef4c898f98505aef965b4899b2dfc8967d6488a70
parent66820a2668a7892a0eb49bedc0ed2c3b4baa74a7
Simplify reduction formula #2122

Simplify reduction formula

No functional change.
src/search.cpp