183,186d182
< void serialize(std::ostream &os) { actualTC->serialize(os); }
< void unserialize(Checkpoint *cp, const std::string &section)
< { actualTC->unserialize(cp, section); }
<