clockvector: remove old include
authorBrian Norris <banorris@uci.edu>
Fri, 2 Nov 2012 04:19:51 +0000 (21:19 -0700)
committerBrian Norris <banorris@uci.edu>
Fri, 2 Nov 2012 04:19:51 +0000 (21:19 -0700)
commitdd7f61668db41bed95b0cbf43f0b2cad5cd41060
treead6d101ec087bea04a766c6edcf6f2b22e6e199d
parent730038c9f0475c6c4355c8b2a15cab702207e5c3
clockvector: remove old include

We don't use std::max anymore.
clockvector.cc