Workaround github issue
authorMarco Costalba <mcostalba@gmail.com>
Wed, 3 Jul 2013 16:58:23 +0000 (18:58 +0200)
committerMarco Costalba <mcostalba@gmail.com>
Wed, 3 Jul 2013 16:58:23 +0000 (18:58 +0200)
commit838255ef919425dc664909e6e6d2e28dbb42f3f8
tree3c01d8a84f1aea91f646ead0dc09f2f5e965c6cf
parent6fbe027da05d6de0b7f03e8696bbde2e33baad98
Workaround github issue

Temporary revert aspiration window patch
so to be visible to everybody: it will be
re-applied with next patch

No functional change (together with next one)
src/search.cpp