Fix comment
authorlucasart <lucas.braesch@gmail.com>
Wed, 18 Mar 2015 14:10:13 +0000 (22:10 +0800)
committerJoona Kiiski <joona.kiiski@gmail.com>
Fri, 20 Mar 2015 22:40:03 +0000 (22:40 +0000)
We always probe, but we do not prune at PV nodes.

No functional change.

Resolves #300


No differences found