175,176c175,179
< 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)
> {}