official-stockfish/Stockfish — pull request #111 by mcostalba (2014-11-10 14:13:55+00:00)
Title: Use Depth instead of int in search

And make it more ONE_PLY value independent,
although we are not there yet.

No functional change.