86,87c86,88
< void serialize(std::ostream &os);
< void unserialize(Checkpoint *cp, const std::string &section);
---
> void serialize(EventManager *em, std::ostream &os);
> void unserialize(EventManager *em, Checkpoint *cp,
> const std::string &section);