]> git.sesse.net Git - stockfish/commitdiff
Use new Time class in timed_wait()
authorMarco Costalba <mcostalba@gmail.com>
Sat, 3 Mar 2012 17:53:37 +0000 (18:53 +0100)
committerMarco Costalba <mcostalba@gmail.com>
Mon, 5 Mar 2012 18:18:46 +0000 (19:18 +0100)
And simplify the code.

No functional change.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>

No differences found