uct_search_stop_early(): Tidy up
commit9d7c8ec25e0be2456c8fb3fbe719d70a55dae7d9
authorPetr Baudis <pasky@ucw.cz>
Fri, 12 Feb 2010 00:03:22 +0000 (12 01:03 +0100)
committerPetr Baudis <pasky@ucw.cz>
Fri, 12 Feb 2010 00:03:22 +0000 (12 01:03 +0100)
tree7177732aced27e4f04b664ffa19486260f96cf41
parentd2cf8f60af172edc85af62770e7bf1b0cd7aaa38
uct_search_stop_early(): Tidy up
uct/uct.c