official-stockfish/Stockfish — pull request #75 by mcostalba (2014-10-25 12:23:46+00:00)
Title: Rearrange check_time()

Remove an ugly workaround for a gcc
warning while there.

No functional change.