model: kill unneeded local variable
authorBrian Norris <banorris@uci.edu>
Thu, 13 Sep 2012 16:53:59 +0000 (09:53 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 13 Sep 2012 16:56:48 +0000 (09:56 -0700)
commit51c8be1f188633adb5deb3a34b13d205c0a141f1
treee6415337e289f5bcc4d685f37fed46b5afd830f0
parent4f874a88f053e1f1e99b2d911b4ad3d70084a456
model: kill unneeded local variable

The "Thread *th" variable is used only on a few control paths, and it is never
reused. Might as well just calculate it on the fly. Also, it's recalculated and
masked by another local variable at a deeper level of nesting.
model.cc