Rename TM in ThreadsMgr
authorMarco Costalba <mcostalba@gmail.com>
Tue, 3 Aug 2010 12:06:56 +0000 (13:06 +0100)
committerMarco Costalba <mcostalba@gmail.com>
Tue, 3 Aug 2010 12:06:56 +0000 (13:06 +0100)
commitd6904157aab50f7b2a53843f681b232247e866e2
treed58504c4d714db1734b01e4dc46d2a50f78476f2
parent5fc98745c3b72f99337ec1bb3afff22ecd242467
Rename TM in ThreadsMgr

This avoid misunderstandings with new TimeManager
object called TimeMgr.

No functional change.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
src/search.cpp